数学家给出黎曼猜想新证明，AxiomProver 数小时内完成 Lean 形式化
soumitrashukla9 · x · 2026-09-03
数论学家 Youness Lamzouri 在 arXiv 发布了一篇短小精悍的新证明，重证了此前让 Anthropic 上头条的惊人结果：超过 67% 的黎曼 zeta 函数零点位于临界线上且为单零点。
Axiom Math 团队在得知该论文后的第二天早晨请 AxiomProver 对这一定理做形式化，仅用数小时即完成，并与 Lamzouri 本人通信确认，最终作为附录收入其论文。
Axiom 团队指出，数学界前沿纪录在公之于众前主动找 AI 做 Lean 验证正在成为一种趋势——这次是知名数学家主动找上门。
所属事件:黎曼假设研究获新证明 AxiomProver 完成形式化验证(3 条相关)→
「研究」频道最新
- antirez：编码评测基准多是「垃圾」，与训练实际能力严重脱节 — antirez · 2026-09-03
- 3595 条回复复测 15 个模型：上次的两条爆点结论全部翻车 — nejcar20 · 2026-09-03
- Anthropic 用 Lean 形式化证明 Kozma–Nitzan 猜想，逼近 θ(p_c)=0 — michaelchchoi · 2026-09-03
- 38 年来首次突破,五位研究者改写稀疏有向最短路径经典复杂度界 — techNmak · 2026-09-03
- ECCV 2026 类人视觉工作坊将开幕：25 篇入选、四位大咖演讲 — tserre · 2026-09-03
- 传 Astra 用递归架构,作者提醒:归纳任务递归并非总是有效 — AdaptiveAgents · 2026-09-03