OpenAI 宣布 AI 模型在数学、计算机科学、物理学领域取得三项突破

OpenAI 于 10 月 27 日宣布其 AI 模型独立完成三项科学成果。数学方面，模型给出了局部光滑猜想在所有维度下的证明，进而解决挂谷猜想和斯坦因限制猜想，自然语言证明和 Lean 形式化证明已于 10 月 19 日上传至公开 GitHub 仓库。计算机科学方面，模型给出了推翻指数时间假设（ETH）的证明，10 月 17 日完成 Lean 形式化验证，由 ETH 提出者之一 Russell Impagliazzo 等三位专家牵头审查。物理学方面，模型提出量子色动力学及纯杨-米尔斯理论的严格数学存在性证明，后者属于克雷数学研究所千禧年大奖难题的子问题，由 2004 年诺贝尔物理学奖得主 David Gross 牵头审查。