事件最新进展 10月27日 07:15

OpenAI 公布 AI 生成的数学与算法证明，并提出量子场论研究成果

OpenAI 称，其模型证明了所有维度的局部光滑猜想，并给出指数时间假设不成立的证明；两项成果已用 Lean 形式化验证，证明材料已公开。模型还提出量子场论存在性证明，涉及千禧年难题的一个子问题，正接受外部专家审查；相关成果仍需学术界独立确认。

1 次进展4 篇报道3 个来源

事件进展 1

2026-10-27 07:15 · 原文发布时间 · UTC+8

一则帖子称，OpenAI 的 AI 声称推翻了指数时间假说，并解决了局部平滑猜想及其关联的 Kakeya 猜想；它还声称给出杨–米尔斯理论的严格证明，涉及一项千禧年难题的一半。这些均是帖子转述的证明主张，材料未提供独立验证结果。

查看来源报道 · 3 个来源 · 4 篇报道

全部报道 4

07:37

IT之家科技新闻精选

另外 2 家也报道了

推荐理由：三项成果横跨数学、计算复杂性和物理学，其中两项已有公开的形式化证明，另一项仍在外部审查；读者可据此区分已公开的证明材料与尚待独立确认的结论。

07:34

The Verge AI 报道同事件

OpenAI 称其在数学、计算机科学和物理学领域取得三项“重大”发现。此次，外部专家参与指导计算机科学和物理学成果；对于数学问题，OpenAI 表示专家建议公开 AI 输出，供研究者自行梳理解释。

另外 2 家也报道了

07:15

Rohan Paul (@rohanpaul_ai) 同事件

另外 3 家也报道了

07:15

Rohan Paul (@rohanpaul_ai) 同事件

OpenAI 声称，其 AI 推翻了延续约25年的指数时间假说，证明了局部平滑猜想并由此解决 Kakeya 猜想；它还声称完成了杨–米尔斯问题一半内容的严格证明。这些结果目前均为 OpenAI 的主张，材料未提供独立验证依据。

另外 3 家也报道了

推荐理由：若经核实，这些证明将涉及三个领域长期未解的问题，其中杨–米尔斯证明声称覆盖一项千禧年大奖难题的一半。