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的角色就不只是文献检索、数据分析、辅助编程了，而是真的能参与基础理论突破了

详情：http://t.cn/AXjakxCk

#AI科研##AIforScience##AI攻克基础科学#