OpenAI 宣布三项 AI 驱动的科学突破（数学 / 计算机 / 物理）

一句话总结#

OpenAI 声称其模型在数学、计算机科学与物理学上做出三项发现，包括证伪一个长期假设——但均未经独立同行评审，需谨慎看待。

原文要点#

• 数学（调和分析）：证明了任意维度的局部平滑猜想（local smoothing conjecture，Sogge 1991 提出），据称同时解决 Kakeya 猜想与 Stein 限制猜想。10-18 生成，次日用 Lean 形式化。
• 计算机（计算复杂度）：声称证伪指数时间假设（ETH），一个数百篇论文依赖的长期假设；已在 Lean 中验证，正由 Impagliazzo、Paturi、Williams 等专家审查。
• 物理（量子场论）：提出某些 4D 量子场论（含 QCD、纯 Yang–Mills）的严格存在性证明，触及千禧年难题；尚未公开，由诺奖得主 David Gross 牵头审查。
• OpenAI 把这些输出定位为「原始研究数据」，正协调独立学术评审，不申请学术署名，数学/CS 证明发布在 GitHub。

为什么值得关注#

• 若成立，这是 AI 首次在「人类未解难题」上做出可形式化验证的原创贡献。
• 重要提醒：ETH 证伪、Yang–Mills 存在性都是非凡断言，多家媒体明确标注「待同行评审」。应保持「待验证」状态，不当作既定事实。

来源#

• 官方（一手，但抓取受限，正文据多家媒体报道整理）：https://openai.com/news/
• 二手交叉验证：IT之家、GIGAZINE 等（2026-10-27 报道）