黎曼假设研究获新证明 AxiomProver 完成形式化验证

黎曼假设研究迎来重要进展：最新结果显示超过 67% 的黎曼 zeta 函数零点位于临界线上且为单零点。数论学家 Youness Lamzouri 在 arXiv 发布了一篇短小精悍的新证明，重证了此前让 Anthropic 上头条的惊人结果，方法被形容极为优雅。Ken Ono 也对此给予肯定。随后 AxiomProver 在数小时内使用 Lean 完成了该证明的形式化验证，进一步确认了结果的可靠性。

2026-09-03 ~ 2026-09-03 · 3 条相关

• 黎曼假设研究新进展:常数项空间项级证明获 Lean 形式化验证 — lawrennd · 2026-09-03
• 数学家给出黎曼猜想新证明，AxiomProver 数小时内完成 Lean 形式化 — soumitrashukla9 · 2026-09-03

另有 1 条近重复转述:Afinetheorem