OpenAI 称内部 AI 解决 Kakeya 猜想等三大科学难题
OpenAI 说他们的 AI 把几十年没解的 Kakeya 猜想、ETH 反证、Yang–Mills 证明都做了，还配了 Lean 验证文件，能不能站得住就看专家审查了。
OpenAI 宣布其内部 AI 在三个领域取得研究成果：数学方面给出局部平滑猜想的全维度证明，进而解决 Kakeya 猜想和 Stein 限制猜想，10月18日生成证明、次日完成 Lean 形式化验证并公开；计算机科学方面声称找到反例推翻指数时间假设 ETH，并完成 Lean 形式化验证，由 Russell Impagliazzo、MIT 的 Ryan Williams 等专家组织审查；理论物理方面声称证明四维量子场论（含 QCD 与纯 Yang–Mills 理论）的数学存在性，由 2004 年诺贝尔物理学奖得主 David Gross 牵头审查。前两部分的证明文件已公开，理论物理部分暂未公开。
OpenAI称其内部AI攻克了人类几十年没解开的科学难题，在数学、计算机科学、理论物理三个领域取得了突破性研究成果
数学：声称解决所有维度的Kakeya猜想 AI给出了局部平滑猜想在所有维度上的证明，并由此解决 Kakeya猜想和Stein限制猜想。10月18日生成证明，次日完成Lean形式化验证，证明文件已公开
计算机科学：声称推翻指数时间假设ETH ETH是计算复杂性理论中的重要猜想，认为某些SAT问题无法在次指数时间内求解
称AI找到了反证，并完成Lean形式化验证。如果反证成立，将动摇数百篇基于ETH得出的条件性计算困难性结论的前提，并可能推动更高效算法的研究
结果公开后，由ETH的最初提出者之一Russell Impagliazzo，以及Ramamohan Paturi、MIT的Ryan Williams等专家组织进一步审查
理论物理：声称证明四维量子场论的数学存在性 模型给出某些四维相互作用量子场论严格存在性证明，包括QCD和标准模型的一种统一扩展理论
其中还包括纯Yang–Mills理论的存在性证明
2004年诺贝尔物理学奖得主David Gross将牵头专家组审查，目前原始证明尚未公开
数学和计算机科学的自然语言证明及Lean形式化文件均已公开；理论物理部分的Yang–Mills存在性证明也已完成 Lean形式化，相关材料暂未公开
科学结论还需独立审查，如果这些成果最终成立，AI的角色就不只是文献检索、数据分析、辅助编程了，而是真的能参与基础理论突破了
#AI科研 #AIforScience
