Anthropic's Unreleased AI Model Makes Major Progress on 150-Year-Old Riemann Hypothesis

Anthropic announced that an unreleased AI model made significant progress on the Riemann hypothesis, a math problem unsolved for over 150 years. The model autonomously worked for about a day and a half, testing 650 approaches and coordinating 60 subagents, with two subagents making the key breakthroughs. The findings were formalized using the Lean proof assistant and have sparked debate within the mathematical community about AI's role in mathematics.