OpenAI称模型证伪ETH并给出量子场论存在性证明

资讯动态

发布日期：2026-10-28 浏览：11

OpenAI称其模型证伪了计算复杂性领域的长期猜想指数时间假设（ETH）。该假设关乎布尔可满足性问题的求解难度，是众多研究领域中条件性硬度结果的基石。研究人员已在图论、计算生物学、数据库与计算几何等方向的数百篇论文中使用ETH。若新结果经得起审视，可能迫使研究者重新评估这些研究背后的假设。

模型于2026年10月16日得出该证伪结果，次日以Lean完成形式化。但证伪ETH不会自动带来更快算法，研究人员仍需确定其对实际计算的意义。加州大学圣迭戈分校的Russell Impagliazzo与Ramamohan Paturi将联合麻省理工学院的Ryan Williams牵头评审。OpenAI已同意出资举办会议审议该主张，并公开证明材料以供独立评估。

物理方面，OpenAI称其模型给出了四维空间中涉及规范场与费米子的相互作用理论的存在性证明，涵盖量子色动力学（QCD），并涉及纯杨-米尔斯理论——克莱数学研究所千禧年大奖难题之一，关乎量子杨-米尔斯理论的数学存在性与质量间隙。物理学家David Gross将牵头外部小组，成员包括Michael Douglas、Arthur Jaffe、Igor Klebanov与Nikita Nekrasov。团队计划先形成自己的解释，再公布模型生成的物理材料。

此外，OpenAI称模型在调和分析领域证明了局部光滑猜想，并据此解决了Kakeya猜想与Stein限制猜想。此前2019年Guth、Wang与Zhang证明了两个空间维度下的局部光滑猜想，Wang与Zahl于2025年证明三维Kakeya猜想。新证明于2026年10月18日生成，次日以Lean形式化，自然语言证明与形式化版本已发布在GitHub上。

OpenAI表示三项合作将独立运作，参与者可自由发表结果。公司还承诺通过此前宣布的向西蒙斯基金会捐赠500万美元提供支持，用于组织研讨会与会议审议这些工作。