OpenAI 公布 Kakeya 猜想、ETH 与量子色动力学成果并开放学界验证

OpenAI 三项科研成果：Kakeya、ETH 与量子场论

• 数学：模型证明了所有维度的局部平滑化猜想，按推导关系同时解决所有维度的 Kakeya 猜想与 Stein 限制性猜想，直接公开模型输出
• 计算机科学：论文给出确定性算法，在次指数时间和多项式空间内精确计数定宽 CNF 公式的可满足赋值，3-SAT 情形否定指数时间假设（ETH）
• ETH 结果由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 领衔的独立小组审查，写作与 Lean 证明已上传 GitHub
• 物理：给出含规范场与费米子的四维相互作用量子场论（含 QCD）的严格存在性证明，尚未全部公开，由 David Gross 领衔的小组跟进

OpenAI 宣布其模型在数学、计算机科学和物理上带来三项成果，并改变了与学界合作的方式：计算机科学和物理成果交由外部专家组“牵头”审查，数学成果则按顾问建议直接公开模型输出，供研究者自行理解和验证。该条目 OpenAI 原帖未抓到正文，以下依据同一事件的 The Verge 与爱范儿报道整理。

数学方面，证明借助一个辅助偏微分方程，在所有不低于二维的空间维度上建立了 Sogge 的波动方程局部平滑化估计，由此推出 Kakeya 极大与维数猜想，以及 Stein 球面限制估计在猜想范围内部成立。爱范儿介绍，模型于 10 月 18 日生成自然语言证明，次日完成 Lean 形式化。此前王虹与 Joshua Zahl 证明了三维 Kakeya 猜想。

计算机科学方面，结果若成立将否定被广泛相信近 30 年的指数时间假设。审查小组要求立即公开材料，并发出公开信，就 AI 成果的提前获取、利益冲突披露、署名如何同时认可发现与核查工作，以及如何支持学生和研究者等问题征求意见。The Verge 同时指出，OpenAI 组建的 AGMAI 数学顾问团刚刚建议 AI 公司不要采用指定专人先拿到结果的做法，理由包括获取不平等、借用声誉和选择偏差，并建议在学术仓库发布、附 Lean 形式化证明和选题说明。物理结果尚未完整发布。

基于原文整理的中文深读，细节以原文为准。