OpenAI宣布三项科学突破 指数时间假说被推翻

OpenAI宣布，其内部AI模型在数学、计算机科学与物理学三个基础学科同时取得重大突破。这份公告中最引人注目的结论是：被理论计算机科学界沿用数十年的「指数时间假说」被推翻——如果经得起复核，意味着某些被认为必须指数级计算量的问题，可能存在更快的算法。

在数学方面，模型证明了适用于任意维度的「局部平滑猜想」，该猜想描述波浪等物理现象中的能量集中会持续多久。在此基础上，著名的Kakeya猜想（一根针在有限空间内转向所有方向至少需要多大空间）与Stein限制猜想随之得到解决。

计算机科学方面的结论更具颠覆性。指数时间假说认为某些复杂问题的计算量无法避免随规模急剧增长，数百篇论文把它当作难度假定。OpenAI表示这一假说为假，相关证明已经过Lean形式化验证工具检验并公开材料，随后将由假说提出者Impagliazzo与Paturi、以及麻省理工学院的Ryan Williams领导的团队复核。

物理学方面，模型给出了包括量子色动力学在内的四维量子场论的严格数学存在性证明，其中纯杨-米尔斯理论的存在性证明与七个千禧年数学难题之一相关。这部分成果正由诺贝尔物理学奖得主David Gross领导的专家小组审查。

OpenAI强调，数学与计算机科学成果已通过形式化验证并公开证明材料，物理学成果仍在专家审查中，全部结论尚需学术界进一步独立确认。这不是该公司第一次让AI冲击基础科学：今年9月，其内部多智能体系统曾给出三维纳维-斯托克斯方程的有限时间爆破构造，附166页证明与Lean形式化文件。

从辅助研究到独立发现并证明，AI在基础科学中的角色正在快速变化。若这批成果通过独立审查，将是AI首次同时改写数学、计算理论与物理学的多个公认结论；而即便个别结果被推翻，公开可验证的证明材料也为「AI科学发现」建立了新的检验标准。

编译自 OpenAI，原标题："OpenAI announces three breakthroughs in computer science, math, and physics, including that the Exponential Time Hypothesis, a longstanding conjecture, is false"