新智元报道，近日，奥特曼在与Salesforce CEO Marc Benioff的对话中透露了OpenAI内部模型的最新动态。他提到：「GPT-5.5的能力相当于一位普通数学教授，而GPT-5.6大约能够与全球前1%到2%的顶尖数学教授媲美。」更具冲击性的是，他提到在代号为Astra的模型之后，还有一个名为Post-Astra的内部模型，已能解决历史上最复杂的数学难题。

此外，OpenAI总裁Greg Brockman也在公开场合表示，团队在另一个千禧年大奖难题上取得了显著的进展。理论计算机科学家Scott Aaronson近期发表的文章则对这一现象进行了深入探讨，他不再怀疑，甚至宣称：「AI的奇点已经来临，人类数学家的地位正被动摇。」

此次奥特曼的访谈带来了丰富的信息。以往对大模型的理科能力评估主要在高考和奥数考试上，但OpenAI已经升级了评判标准，换成了顶尖学者的水平。GPT-5.5可以进行公式推导和理解前沿论文，甚至批改高难度数学作业，而GPT-5.6具备了在高端学术期刊上发表原创性数学成果的能力。Post-Astra模型则号称超越了最强的数学家，向人类展示了它的强大，不再仅是助手，而成为导师。 龙8头号玩家

随着OpenAI在复杂数学问题上的不断突破，尤其是最近关于「纳维尔-斯托克斯方程」的传闻，数学界为之震动。为了达到这一进展，OpenAI投入了至少1500万美元的算力，推导出长达166页的证明，并通过严格验证。这一快速进展让全球的数学界紧张不已，而目前还有五个未解的千禧年难题。

Scott Aaronson在其长文《奇迹与恐怖的时代》中，表达了他对AI统治未来的深刻忧虑。他曾对AI是否会统治世界持怀疑态度，但现在意识到这一点已经成为现实。他坦承，自己未来可能不会再证明任何一个定理，因为世界似乎不再需要人类去做这件事。同时，他还向早前被质疑的AI末日论先驱Eliezer Yudkowsky表示敬意，认为其对未来文明的预言是准确的。Aaronson提到，自己在育儿时不禁思考，孩子们未来的知识将如何适应一个由AI主导的世界。