An unreleased Anthropic AI model, operating autonomously, made significant progress on a sub-problem of the 150-year-old Riemann hypothesis. Over 36 hours, the AI model, named Claude Code, coordinated 60 sub-agents and processed 31 million tokens to increase the proven lower bound for zeros satisfying the hypothesis from 41.6% to 67.2%. This advancement, which had eluded human mathematicians, demonstrates the AI's capability for deep, formal reasoning and autonomous research management, including synthesizing existing work and seeking formal validation. AI
IMPACT Demonstrates frontier AI models' capacity for deep, formal reasoning and autonomous research, potentially accelerating scientific discovery.
RANK_REASON AI model makes significant progress on a long-standing mathematical problem, demonstrating advanced reasoning capabilities. [lever_c_demoted from research: ic=1 ai=1.0]
Read on dev.to — Anthropic tag →
- Anthropic
- arXiv
- Baluyot
- Bombieri
- Claude Code
- Goldston
- Jarred Sumner
- Lean
- Levent Alpöge
- Ralph Furmaniak
- Riemann hypothesis
- Riemann zeta function
- Suriajaya
- TechCrunch
- Turnage-Butterbaugh
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
