OpenAI公布准黎曼假设证明，数学界评价不一

OpenAI 在 2026 年 10 月 6 日公布的 377 项结果中，有一项声称证明了黎曼猜想的弱化版本“准黎曼假设”。该结果包含两个版本：9 月 30 日完成的第一个版本声称所有非平凡零点位于 1/8 与 7/8 之间，并用 Lean 语言完成了形式化验证；约一周后完成的第二个版本尚未形式化验证，声称证明的是更弱的结果，即零点实部位于 1/12 与 11/12 之间。 斯坦福大学的 Jared Duker Lichtman 称其为迄今最重要的 AI 数学成果。两个版本结论强弱不同，且第二个版本尚未经过形式化验证。

AI 根据报道生成 · 54 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。