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
- New tendon-based robotic hand designs trained with PPO to learn one-armed catch — _krishna_murthy · 2026-10-23
- Google QuantumAI and Kaggle launch $150K verifiable quantum circuit compilation competition — JFPuget · 2026-10-23
- Diffusion LLM bias rankings shift with sampling configs, persist after debiasing — Bollegala · 2026-10-23
- Aggregating lab tokenizers reveals ~994 tokens stable across Google, DeepSeek, Meta, Anthropic — kalomaze · 2026-10-23
- Researcher uses Grok to hunt LLM-driven UAE bot network on X with self-written prompts — FlorianGallwitz · 2026-10-23
- Dev converts Qwen3-0.6B into a MoE model: quality drops and no speed gain at this scale — Bayliner1980 · 2026-10-23