{"slug": "an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved", "title": "An unreleased Anthropic model made progress on one of math’s biggest unsolved problems", "summary": "Anthropic announced that an unreleased AI model made significant progress on the Riemann hypothesis, increasing the lower bound of solutions for which the hypothesis holds true. The model tested 650 ideas across 60 sub-agents over a day and a half, with two sub-agents developing key ideas, and the result was confirmed by Anthropic's in-house mathematicians and formalized using the Lean proof assistant. This marks the latest in a series of AI-driven mathematical breakthroughs, sparking debate among mathematicians about the role of AI in the field.", "body_md": "For more than 150 years, the Riemann hypothesis has stood as one of the major unsolved problems in mathematics, a long-running mystery about the distribution of prime numbers. There is currently [a $1 million bounty](https://www.claymath.org/millennium/riemann-hypothesis/) for a working general proof of the hypothesis, which remains unclaimed.\n\nContemporary AI models still can’t solve it either — but they can make a lot more progress than you might expect, a finding that’s likely to reopen long-standing questions about contemporary AI’s ability to discover new scientific and mathematical ideas.\n\n[On Monday](https://www.anthropic.com/research/riemann-zeta), Anthropic announced that an as-yet-unreleased model had made significant progress on the Riemann hypothesis, significantly increasing the lower bound of solutions for which the hypothesis holds true.\n\nEven more impressive is how the progress was made: An Anthropic staff member without significant mathematical training prompted the model to “take a real stab” at proving the hypothesis, then left the model to coordinate the task across the following day and a half.\n\nAll told, the model tested 650 different ideas for solving the problem, coordinating across 60 sub-agents and spending 31 million in total.\n\n“Out of the 60 subagents, two were responsible for developing the key mathematical ideas,” a footnote to the paper explains, “13 contributed ideas to these agents, 30 attempted (but were unable) to develop new ideas, 13 served as validators to check the correctness of the arguments, and the final two helped to write the initial paper.”\n\nThe finding was confirmed by two of Anthropic’s in-house mathematicians, and formalized using the open-source proof assistant [Lean](https://lean-lang.org/).\n\nThis is the latest in a string of mathematical breakthroughs led by Large Language Models, or LLMs. [A number of Erdos problems](https://techcrunch.com/2026/01/14/ai-models-are-starting-to-crack-high-level-math-problems/) have been solved by AI models over the course of this year, and the release of more powerful models has led to more impressive results. OpenAI [recently released](https://openai.com/index/ten-advances-in-mathematics/) a set of ten major results proved by its internal “Astra” model, while a separate effort from Anthropic [disproved the long-standing Jacobian conjecture.](https://www.sciencedaily.com/releases/2026/08/260804034634.htm)\n\nThe growing body of results has caused both excitement and concern in the mathematical field. In [a public declaration signed in June](https://leidendeclaration.ai/), a group of prominent mathematicians raised concerns that AI could undermine critical values of the field — particularly the standard that true mathematical proofs should be “attributable to specific authors who take credit for their discovery and assume responsibility for their correctness.”\n\nBut the field is still split on how mathematicians should approach the new research techniques. In [a blog post responding to the declaration](https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/), Fields Medal winner Timothy Gowers questioned whether the influence of AI might change mathematics in a more complex and positive way.\n\n“If we arrive at a world where mathematical theorems are no longer associated with mathematicians, maybe that won’t be any more problematic than the fact that stars aren’t named after astronomers and most aren’t named at all,” Gowers wrote.", "url": "https://wpnews.pro/news/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved", "canonical_source": "https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved-problems/", "published_at": "2026-08-11 16:25:20+00:00", "updated_at": "2026-08-11 16:36:11.542943+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "ai-agents"], "entities": ["Anthropic", "Riemann hypothesis", "Lean", "OpenAI", "Astra", "Timothy Gowers"], "alternates": {"html": "https://wpnews.pro/news/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved", "markdown": "https://wpnews.pro/news/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved.md", "text": "https://wpnews.pro/news/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved.txt", "jsonld": "https://wpnews.pro/news/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved.jsonld"}}