OpenAI 宣布 AI 取得三项科学突破

OpenAI 宣布，其 AI 模型在数学、计算机科学与物理学三大领域实现三项重大突破，首次展现出 AI 独立发现并严格证明复杂科学理论的能力，远超常规问答或研究辅助范畴。在数学领域，该模型成功证明了适用于任意维度的局部平滑猜想，并以此为基石，一举解决 Kakeya 猜想与 Stein 限制猜想；在计算机科学领域，它推翻了长期被视为基础前提的指数时间假设，为设计更高效算法开辟全新路径；在物理学领域，它构建出量子色动力学及杨–米尔斯理论的严格数学存在性证明——该问题位列克雷数学研究所公布的七大千禧年数学难题之一。据金十数据，OpenAI 已使用 Lean 数学验证工具对数学与计算机科学方向的成果完成形式化验证，并同步公开全部证明材料。