OpenAI 称内部 AI 解决 Kakeya 猜想等三大科学难题

OpenAI 宣布其内部 AI 在三个领域取得研究成果：数学方面给出局部平滑猜想的全维度证明，进而解决 Kakeya 猜想和 Stein 限制猜想，10月18日生成证明、次日完成 Lean 形式化验证并公开；计算机科学方面声称找到反例推翻指数时间假设 ETH，并完成 Lean 形式化验证，由 Russell Impagliazzo、MIT 的 Ryan Williams 等专家组织审查；理论物理方面声称证明四维量子场论（含 QCD 与纯 Yang–Mills 理论）的数学存在性，由 2004 年诺贝尔物理学奖得主 David Gross 牵头审查。前两部分的证明文件已公开，理论物理部分暂未公开。