An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
- ID
- 13127
- Status
- summarized
- Published
- 12 Aug 2026, 12:25 AM
- Fetched
- 12 Aug 2026, 12:31 AM
- Provider
- TechCrunch
- Category
- technology
- Original URL
- https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved-problems/
- Source URL
- https://techcrunch.com/feed/
Summary
- Score
- 6.5
- Created
- 12 Aug 2026, 12:32 AM
- Tags
- Audience
- ai_ml_learnersai_agent_usersdevelopers
What happened
Anthropic announced that an unreleased model made progress on the Riemann hypothesis by increasing the lower bound of solutions for which it holds true. A non-mathematician staff member prompted the model to attempt the problem, then the model autonomously coordinated 60 sub-agents over 1.5 days, testing 650 ideas and spending 31 million tokens. Two sub-agents developed the key mathematical ideas, 13 contributed supporting ideas, 30 failed to develop new ideas, 13 validated, and 2 wrote the paper; results were confirmed via the Lean proof assistant.
Why it matters
The concrete takeaway for builders is the multi-agent orchestration pattern: a single prompt spawned 60 sub-agents with distinct roles (generators, validators, writers) that ran autonomously for 1.5 days at 31M tokens. If you build AI agent systems, this is a working blueprint for decomposing hard open-ended tasks into specialized agent roles with built-in validation — though the cost profile (31M tokens for one problem) sets realistic expectations for what autonomous agent swarms actually consume.
Discussion angle
The role distribution across 60 sub-agents is worth dissecting: only 2 of 60 produced key ideas, 30 produced nothing usable. What does that hit rate imply for how you should architect and budget agent swarms for your own tasks?