--- title: An unreleased Anthropic model made progress on one of... description: Anthropic announced that an unreleased AI model made significant progress on the Riemann hypothesis, one of mathematics' most famous unsolved problems with a... canonical: https://daily.dev/posts/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems-16oiutkmu twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: An unreleased Anthropic model made progress on one of math’s biggest unsolved problems | daily.dev og:description: Anthropic announced that an unreleased AI model made significant progress on the Riemann hypothesis, one of mathematics' most famous unsolved problems with a... og:url: https://daily.dev/posts/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems-16oiutkmu og:image: https://api.daily.dev/og/posts/16oIutKMu.png og:image:alt: An unreleased Anthropic model made progress on one of math’s biggest unsolved problems og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # An unreleased Anthropic model made progress on one of math’s biggest unsolved problems **[TechCrunch](https://daily.dev/sources/tc)** · 3 min read · 0 upvotes · 0 comments ## Summary Anthropic announced that an unreleased AI model made significant progress on the Riemann hypothesis, one of mathematics' most famous unsolved problems with a $1 million bounty. The model tested 650 different approaches, coordinating across 60 sub-agents over roughly 36 hours, after being prompted by a staff member without deep math training. Two sub-agents developed the key mathematical ideas, while others contributed, validated, or helped write the paper. The result was confirmed by Anthropic mathematicians and formalized using the Lean proof assistant. This follows a broader wave of AI mathematical breakthroughs, including solved Erdős problems and Anthropic's disproof of the Jacobian conjecture. The findings have sparked debate in the math community, with some mathematicians signing the Leiden Declaration expressing concern about AI undermining authorship norms, while Fields Medal winner Timothy Gowers offered a more optimistic perspective. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Questions this post answers ### What progress did Anthropic's AI model make on the Riemann hypothesis? An unreleased Anthropic model significantly increased the lower bound of solutions for which the Riemann hypothesis holds true. The model tested 650 different ideas, coordinated across 60 sub-agents over about 36 hours, with two sub-agents developing the key mathematical ideas. The result was confirmed by Anthropic's in-house mathematicians and formalized using the open-source proof assistant Lean. _Developers following AI's expanding role in scientific discovery track milestones like this on daily.dev._ ### How did Anthropic's multi-agent system coordinate to work on the Riemann hypothesis? The system used 60 sub-agents: two developed the key mathematical ideas, 13 contributed ideas to those agents, 30 attempted but failed to develop new ideas, 13 validated the correctness of arguments, and two helped write the initial paper. The entire run was triggered by a single prompt from a staff member without significant mathematical training and ran for roughly a day and a half. _Teams building or evaluating multi-agent AI systems for complex problem-solving find relevant developments on daily.dev._ ## Similar posts on daily.dev - [Mathematical Experiments Are Becoming Abundant Through Human-Machine Teaming](https://daily.dev/posts/mathematical-experiments-are-becoming-abundant-through-human-machine-teaming-at6d9wesn) · Towards Data Science · 1 upvotes · 0 comments - [Why the Legendary Erdős Problems Are Falling to AI](https://daily.dev/posts/why-the-legendary-erd-s-problems-are-falling-to-ai-wwmtmigyt) · Hacker News · 0 upvotes · 0 comments --- Tags: [#ai](https://daily.dev/tags/ai), [#llm](https://daily.dev/tags/llm), [#ai-agents](https://daily.dev/tags/ai-agents), [#anthropic](https://daily.dev/tags/anthropic), [#math](https://daily.dev/tags/math) [View this post on daily.dev](https://daily.dev/posts/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems-16oiutkmu) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"An unreleased Anthropic model made progress on one of math’s biggest unsolved problems","url":"https://daily.dev/posts/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems-16oiutkmu","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems-16oiutkmu"},"datePublished":"2026-08-11T16:26:54.393Z","dateModified":"2026-08-14T08:49:37.912Z","description":"Anthropic announced that an unreleased AI model made significant progress on the Riemann hypothesis, one of mathematics' most famous unsolved problems with a...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/124ef20ef1e84b017ac665e08feea538?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/124ef20ef1e84b017ac665e08feea538?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"TechCrunch","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"TechCrunch","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/tc","url":"https://daily.dev/sources/tc"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems-16oiutkmu","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"ai,llm,ai-agents,anthropic,math","timeRequired":"PT3M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"TechCrunch","item":"https://daily.dev/sources/tc"},{"@type":"ListItem","position":3,"name":"An unreleased Anthropic model made progress on one of math’s biggest unsolved problems"}]} {"@context":"https://schema.org","@type":"FAQPage","@id":"https://daily.dev/posts/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems-16oiutkmu#faq","mainEntity":[{"@type":"Question","name":"What progress did Anthropic's AI model make on the Riemann hypothesis?","acceptedAnswer":{"@type":"Answer","text":"An unreleased Anthropic model significantly increased the lower bound of solutions for which the Riemann hypothesis holds true. The model tested 650 different ideas, coordinated across 60 sub-agents over about 36 hours, with two sub-agents developing the key mathematical ideas. The result was confirmed by Anthropic's in-house mathematicians and formalized using the open-source proof assistant Lean. Developers following AI's expanding role in scientific discovery track milestones like this on daily.dev."}},{"@type":"Question","name":"How did Anthropic's multi-agent system coordinate to work on the Riemann hypothesis?","acceptedAnswer":{"@type":"Answer","text":"The system used 60 sub-agents: two developed the key mathematical ideas, 13 contributed ideas to those agents, 30 attempted but failed to develop new ideas, 13 validated the correctness of arguments, and two helped write the initial paper. The entire run was triggered by a single prompt from a staff member without significant mathematical training and ran for roughly a day and a half. Teams building or evaluating multi-agent AI systems for complex problem-solving find relevant developments on daily.dev."}}]} ```