人工智能推翻计算机科学30年数学假设

OpenAI在10月26日的一篇博客文章中宣布，其AI模型在数学、计算机科学和物理学领域取得三项新发现，其中最引人注目的是推翻了“指数时间假说”（ETH）——一个支撑计算机科学近30年的基础性假设。挪威卑尔根大学的Fedor Fomin对此表示：“这完全出乎意料，令人震惊。我认识的人里没有一个预料到。”牛津大学的Leslie Goldberg则称：“如果得到确认，这是一个巨大的突破。” ETH由Russell Impagliazzo和Ramamohan Paturi等人于近30年前提出，核心内容是：对于某些逻辑难题（如布尔可满足性问题），即便存在捷径，求解所需的工作量也会随问题规模呈指数级增长。这一假说为大量计算机科学研究划定了计算复杂度的边界。OpenAI声称其模型设计出了一种算法，能够突破此前假设的求解速度上限，从而证伪ETH。如果这一结论成立，影响将是深远的——许多依赖ETH为真的计算机科学结论将失去基础。Fomin坦言，他为此写的一本教科书“如果该发现成立，将变得过时”。不过Goldberg也指出，证伪ETH并不意味着P=NP，不应将其视为对“P与NP问题”的直接推进。 OpenAI表示已使用Lean（一种数学证明验证软件）对ETH结果进行了形式化验证。奥地利维也纳工业大学的Stefan Szeider在查看公开材料后认为，该结果有望经受住审查，但研究人员仍需确认形式化证明的陈述与作者所声称的含义一致。为此，OpenAI委托了一个独立小组进行审查，成员包括ETH的提出者Impagliazzo和Paturi。该小组在一封公开信中表示，这一发现可能“改变理论计算机科学的一个重要部分”。除ETH外，OpenAI还宣称在数学领域证明了一个1991年的猜想——关于波无法长时间保持高度聚焦，以及在理论物理领域证明了量子场论（包括描述夸克间强相互作用的量子色动力学）在数学上是自洽的。后者的完整工作尚未公开，正由诺贝尔奖得主David Gross领导的外部团队审查。AI以如此速度攻克长期数学难题，以及AI公司发布成果的方式，已引发学界对验证流程和严谨性的关注。