OpenAI 宣布 AI 模型取得三项科学突破,涉及局部光滑猜想、ETH 与量子场论存在性
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项突破,数学与计算机科学成果已通过 Lean 形式化验证并公开证明材料,物理学成果正由诺贝尔物理学奖得主等专家审查。数学方面,模型给出了局部光滑猜想在所有维度下的证明,并由此解决所有维度下的挂谷猜想和斯坦因限制猜想;计算机科学方面,模型给出指数时间假设(ETH)不成立的证明。OpenAI 已邀请外部专家牵头验证与解释成果,并将自然语言证明和 Lean 证明上传至公开 GitHub 仓库。
#论文/研究#推理#OpenAI