OpenAI称AI模型独立证明局部光滑猜想并推翻ETH，杨–米尔斯成果待专家审查

一句话看懂：OpenAI 称其 AI 模型在数学、计算机科学和物理三个方向产出原创性证明：覆盖所有维度的局部光滑猜想、否定指数时间假设（ETH），以及量子色动力学和杨–米尔斯理论的存在性论证。前两项已用 Lean 形式化验证并公开证明，物理成果仍待专家独立审查。

事件核心：发生了什么

据 IT之家 2026 年 10 月 27 日报道，OpenAI 公布了这三项成果的时间线：10 月 16 日模型生成否定 ETH 的自然语言证明，17 日完成 Lean 形式化；18 日得到局部光滑猜想的证明，次日完成形式化验证。两项证明及原始材料已上传至 OpenAI 公开 GitHub 仓库。

数学方面，模型构造了一种新的辅助偏微分方程，将 1991 年索格提出的局部光滑猜想推广到所有维度，并由此覆盖挂谷猜想和斯坦因限制猜想。计算复杂性方面，ETH 此前被数百篇论文当作前提，用于推导图论、计算生物学、数据库等领域的难度下界，如今其成立性受到挑战。物理方面，成果针对四维空间中包含规范场与费米子的相互作用量子场论，给出存在性证明，涉及量子色动力学、纯杨–米尔斯理论，以及标准模型的一种大统一完备化。

为什么重要

如果这些结果经独立确认，意义的重点会落在方法论上：大模型可能开始产出可被形式化工具检验的数学内容，而不只是做文献检索或推演辅助。Lean 验证能检查证明的形式正确性，但无法替代数学界对证明思路和价值的判断。ETH 若被推翻，大量以它为条件的难度结论需要重估，算法设计者也要重新考虑可能的速度提升空间。

对用户/开发者/创作者的影响

对普通用户，短期内没有直接可感知的产品变化。对开发者和研究者，更现实的信号是“AI 生成证明 + Lean 形式化验证 + 公开发布数据”这套流程可能被复用：涉及算法优化、数值计算或形式化数学的项目，可以关注这类工具链的成熟度。目前公开信息显示，OpenAI 尚未说明这些能力会以何种 API 或产品形式开放。