tech
An unreleased Anthropic model made progress on one of math's biggest unsolved problems
For more than 150 years, the Riemann hypothesis has stood as one of the major unsolved problems in mathematics. Anthropic hasn't solved it — but the company's models made more progress than you might expect.
TL;DR
- An unreleased Anthropic AI model has shown significant progress on the Riemann hypothesis.
- The AI model tested 650 different ideas, coordinating 60 subagents to advance the proof.
- This is the latest in a series of AI-driven mathematical breakthroughs, including the solution of Erdos problems and the disproving of the Jacobian conjecture.
- The advancements have led to discussions about AI's potential to undermine traditional mathematical authorship and values.
- Some mathematicians express concern, while others see potential positive impacts of AI on the field.