Mathematician verifies Claude's Riemann proof, finds elegant new one; Lean formalized in hours
新智元 · wechat · 2026-09-06
Anthropic's Claude pushed the confirmed-on-critical-line fraction of zeta zeros to 67.25%, breaking a 37-year-old 41.6% record. Number theorist Youness Lamzouri has now fully verified it and produced a far simpler proof via a Hilbert-space inequality plus unconditional Montgomery (BGST), replacing Claude's massive-matrix brute force. Axiom Prover formally verified the new proof in Lean within hours; within 24 hours the team also pushed the bounded prime gap from 240 to 212. Same-day machine verification of frontier math breakthroughs may be the new normal.
More from Research
- YC-backed MovingAtomsLab banned from DeepMind's Physics-IQ Verified benchmark for 3 months — HildeKuehne · 2026-09-06
- Is a schema-aware memory graph 'overfitting'? Dev asks for the cleanest leakage test — chaachans · 2026-09-06
- Burkov: 2026 is putting recurrence back into the Transformer it removed in 2017 — burkov · 2026-09-06
- MIT study: 83% of ChatGPT essay writers couldn't quote a single line they just wrote — victor_explore · 2026-09-06
- Carbon nanocone + fullerene check valve shows >10,000x rectification in MD sims — jwt0625 · 2026-09-06
- Formalize All Human Math in a Year? Bold AI Plan Gets Eric Weinstein's Backing — AccBalanced · 2026-09-06