OpenAI称AI模型取得三项科学突破

OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项成果：证明所有维度下的局部光滑猜想，并由此解决挂谷猜想与斯坦因限制猜想；推翻长期被接受的指数时间假设（ETH）；提出量子色动力学及标准模型统一完备化的严格存在性证明，涉及杨-米尔斯千禧年难题。 OpenAI 称，数学和计算机科学成果已通过 Lean 数学验证工具形式化验证，物理学成果正由诺贝尔物理学奖得主等专家参与审查。模型撰写的自然语言证明和 Lean 证明已发布在 OpenAI 的公开 GitHub 仓库。 OpenAI 表示，相关成果仍需学术界进一步独立确认。因此，这些结论目前属于 OpenAI 的宣布，尚未成为经独立验证的定论。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。