OpenAI 10-06 那批结果里的「准黎曼猜想」证明，经过人类专家两周的研读，被认为大体正确。关键不在引入新概念，而在把一批旧工具拼到了一起。 [Quanta](网页链接) 的 Kakaes 10-19 报道：这是黎曼猜想的弱化版，只要求把 ζ 函数的非平凡零点关进一条比已知更窄的竖条。OpenAI 放了两个版本。7/8 版有 199 页，9 月 30 日发布，已经用 Lean 形式化。Evidence Press 核查后指出，那个 Lean 文件本身只是九行的 Comparator 挑战，用 sorry 占位，真正的证明在约 48.6 万行的依赖里，Comparator 确认只用到三条标准公理。11/12 版有 49 页，晚约一周发布，还没有形式化，却是 722 篇里唯一经过人工编辑的一篇。NYU 的 Radziwiłł 说，他现在用半页纸就能勾出证明骨架。另有一份 7 到 13 页的整理稿在私下流传，还没发表，专家大体认为证明正确。新意在于 metaplectic forms 和 Dunn–Radziwiłł 2021 年的公式，Iwaniec 2002 年曾差一点找到这族函数。 为什么影响长：这里可以核实的规律是，AI 的贡献可能不是发明新概念，而是相信某套现成工具够用，并把一个长期被忽略的联系接上。同一周，Binder、Ivrii、Prause、Smirnov 复核 OpenAI 的 Brennan 猜想证明（arXiv 2610.23853，10-16），发现其中大量论证是冗余的，并给出了更短、结论更强的证明。这是同一种「人类事后验证并精简」的模式。 状态：预印本。多数专家认同，但完整核验还没做完，Sarnak 表示在全部细节被人读懂之前不称它为「定理」。11/12 版没有经过 Lean 形式化。完整的黎曼猜想仍被认为很遥远。Quanta · [Evidence Press 审计](网页链接)