Anthropic AI Makes Historic Progress on 150-Year-Old Riemann Hypothesis in 36-Hour Autonomous Run
Summary
An unreleased Anthropic AI model makes historic progress on the 150-year-old Riemann Hypothesis, autonomously running for 36 hours, testing 650 ideas across 60 subagents, and successfully pushing the lower bound of verified solutions — a breakthrough confirmed by mathematicians and formalized in Lean, sparking fierce debate about AI's role in the future of mathematics.
Key Points
- An unreleased Anthropic AI model makes significant progress on the 150-year-old Riemann hypothesis, increasing the lower bound of solutions for which the hypothesis holds true, confirmed by in-house mathematicians and formalized using the proof assistant Lean.
- The model autonomously coordinates the task over 36 hours, testing 650 different ideas across 60 subagents and spending 31 million output tokens, all initiated by a staff member without significant mathematical training.
- The breakthrough fuels ongoing debate in the mathematical community, with some mathematicians raising concerns about AI undermining authorship standards, while others like Fields Medal winner Timothy Gowers suggest AI could reshape mathematics in complex and potentially positive ways.