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.
本条来自 TechCrunch（AI / 创投），聚焦 brand。 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
- Media & Entertainment
- TechCrunch Brand Studio
- Russell Brandom
- 9:25 AM PDT · August 11, 2026
- 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
Media & Entertainment
TechCrunch Brand Studio
An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
Russell Brandom
9:25 AM PDT · August 11, 2026
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 for a working general proof of the hypothesis, which remains unclaimed.
Contemporary 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 longstanding questions about contemporary AI’s ability to discover new scientific and mathematical ideas.
On Monday , 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.
Even 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.
All told, the model tested 650 different ideas for solving the problem, coordinating across 60 subagents and spending 31 million output tokens in total.
“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.”
The finding was confirmed by two of Anthropic’s in-house mathematicians, and formalized using the open source proof assistant Lean .
This is the latest in a string of mathematical breakthroughs led by large language models, or LLMs. A number of Erdos 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 a set of 10 major results proved by its internal “Astra” model, while a separate effort from Anthropic disproved the longstanding Jacobian conjecture.
The growing body of results has caused both excitement and concern in the mathematical field. In a public declaration signed in June , 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.”
But the field is still split on how mathematicians should approach the new research techniques. In a blog post responding to the declaration , Fields Medal winner Timothy Gowers questioned whether the influence of AI might change mathematics in a more complex and positive way.
“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.
When you purchase through links in our articles, we may earn a small commission . This doesn’t affect our editorial independence.
Russell Brandom
AI Editor
October 13 – 15
San Francisco
Scale faster. Grow your portfolio. Gain practical expertise. No matter your goal, Disrupt can empower you.
Save up to $300 toda y!
Most Popular
Mark Zuckerberg’s AI manifesto is exactly why people don’t like AI
Russell Brandom
YouTube now requires creators to have twice as many watch hours to start earning money
Aisha Malik
This ‘adversarial’ pattern can prevent surveillance cameras from detecting you
Zack Whittaker
ChatGPT brings unlimited text chats to free users
Ivan Mehta
Tesla and SpaceX will invest $16.8B to start building ‘Terafab’ chip factory in Texas
Sean O'Kane
Amid legal battles, Suno says it will start watermarking songs
Ivan Mehta
Ford’s new electric truck, ‘Fathom,’ starts at $28,350
Sean O'Kane
X
youTube
Mastodon
Threads
Bluesky
TechCrunch Staff Contact Us Advertise Site Map
Terms of Service Privacy Policy RSS Terms of Use Code of Conduct
OpenAI vs Apple Nous Research Space Data Centers Staya Nadella SpaceX Starship Tech Layoffs ChatGPT
© 2026 TechCrunch Media LLC.
本条目归入「Brand Marketing」垂直，涉及真实话题：brand。
· 市场：关注 brand 对相关品类与竞争格局的潜在影响。
· 消费者：受众行为与偏好变化值得追踪。
· 品牌：本动向对品牌资产建设的启示。
· 渠道：内容分发与触点组合（社媒 / 电商 / 线下）的协同值得复盘。
· 核心话题：brand。
· 可思考：如何把「brand」的洞察，转化为可衡量的内容与增长动作？
面试中可引用「An unreleased Anthropic model made progress on one of math’s biggest unsolved problems」：围绕 brand，说明你对行业动向的判断与可落地动作。
本条目相关英文术语可在「商务英语」模块按话题检索，用于外企面试表达训练。
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. Ther…
This is the latest in a string of mathematical breakthroughs led by large language models, or LLMs. A number of Erdos problems have been solved by AI models over the course of this…
YouTube now requires creators to have twice as many watch hours to start earning money…