For over 150 years, the Riemann hypothesis has stood as one of the most stubborn unsolved challenges in advanced mathematics. The problem focuses on how prime numbers spread out across number lines, and a standing $1 million cash bounty awaits anyone who delivers a complete, verified proof. While current software systems cannot solve the problem entirely, modern reasoning engines are making progress that reopens deep debates about whether machine intelligence can discover genuine scientific ideas.

Anthropic announced on Monday that an unreleased internal model made real progress on the Riemann hypothesis. The model raised the lower bound of confirmed solutions where the mathematical rule holds true.

The way the system achieved this progress makes the achievement stand out. An Anthropic staff member gave the model a simple prompt asking it to tackle the problem, without giving it deep mathematical guidance or custom training. The researcher then left the system alone to manage its own computational work over the next 36 hours.

During that period, the main model tested 650 distinct ideas for solving the problem. It orchestrated 60 specialized sub-agents and processed 31 million output tokens during the execution window. Out of those 60 helper agents, two built the primary mathematical concepts. Thirteen agents tried to generate new supporting angles, 30 worked as validators checking logic steps, and two helped write the final academic draft. Anthropic in-house mathematicians confirmed the findings and verified the steps using Lean, an open-source proof verification system.

This achievement adds to a growing streak of mathematical progress driven by large language models. Over the past year, automated software cracked a series of long-standing Erdős problems. OpenAI recently released results showing its Astra model solved seven out of ten major math test problems, while a separate Anthropic project disproved the Jacobian conjecture.

These rapid technical gains trigger mixed reactions across academic circles. In June, prominent mathematicians published an open statement warning that automated systems could dilute standards for mathematical discovery. They argued that official mathematical proofs should remain tied to human authors who take full responsibility for correctness.

However, Fields Medal winner Timothy Gowers offered a different view in a response post, suggesting that machine-driven proofs simply represent a shift in tools. He noted that if future mathematical theorems are no longer linked directly to human names, it may prove no more problematic than the fact that distant stars are not named after the astronomers who spot them.

As software tools move beyond basic data crunching into complex theoretical reasoning, research teams will continue pushing these systems to solve long-standing scientific problems. The progress made on the Riemann hypothesis shows that giving multi-agent systems time to coordinate their own research work can yield real progress on heavy academic challenges.