OpenAI：宣称三项科学发现，并试「学术 shepherd」发布制
OpenAI 10 月 26 日宣布三项由内部模型产出、并经 Lean 形式化的结果：全维度局部光滑/Kakeya/Stein 限制猜想；证伪指数时间假设（ETH）；以及含 QCD 与标准模型完备化在内的四维相互作用量子场论存在性证明。同步试验三种学术协作发布路径，数学结果直接公开 AI 输出，CS 由 Impagliazzo/Paturi/Williams 组 shepherd，物理由 David Gross 等组主导并暂缓放出 AI 原稿。
官方博客写明：三项结果分别落在调和分析、复杂度与量子场论。数学侧称模型给出欧氏波动方程全维度局部光滑猜想证明，并由此蕴含 Kakeya 与 Stein 限制猜想；约 10 月 18 日得到自然语言证明、次日 Lean 形式化，按 shepherd 建议公开 AI 输出与 Lean 证明。计算机科学侧称证伪长期被广泛采信的指数时间假设（ETH），自然语言反证约 10 月 16 日、Lean 约 17 日；协作由 UCSD 的 Impagliazzo、Paturi 与 MIT 的 Williams 牵头，原始材料公开于 GitHub，并承诺资助会议讨论影响。
物理侧称给出含规范场与费米子的四维相互作用量子场论的严格存在性证明，覆盖 QCD 与一种标准模型完备化，子问题含纯 Yang–Mills 存在性（Clay 千禧年问题相关）；Yang–Mills 自然语言约 9 月 9 日、QCD 约 9 月 18 日，Yang–Mills Lean 约 10 月 16 日完成。协作由 David Gross 领衔，含 Douglas、Jaffe、Klebanov、Nekrasov 等；该组要求暂不公开 AI 产物，先自行撰写。公司强调不寻求学术署名、协作自愿无报酬、结论独立于 OpenAI，并另有约 500 万美元经 Simons 基金会支持后续研讨。
