事件

10 月 27 日，OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项重大突破，展现出独立发现并证明复杂科学理论的能力，而非仅回答问题或辅助研究。

三项成果

  • 数学：证明适用于所有维度的局部平滑猜想，并由此解决 Kakeya 猜想与 Stein 限制猜想。

  • 计算机科学：推翻长期被广泛接受的指数时间假设，意味着未来可能找到更快的算法。

  • 物理学：为量子色动力学及杨–米尔斯理论提出严格数学存在性证明，涉及七大千禧年数学难题之一。


验证进展

数学与计算机科学成果已通过 Lean 数学验证工具形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家审查。OpenAI 表示，相关成果仍需学术界进一步独立确认。