cd /news/artificial-intelligence/claude-formalized-fermat-s-last-theo… · home › topics › artificial-intelligence › article
[ARTICLE · art-122503] src=machinebrief.com ↗ pub= topic=artificial-intelligence verified=true sentiment=↑ positive

Claude Formalized Fermat's Last Theorem In 11 Days On 6B Output Tokens

Anthropic's Claude formalized Fermat's Last Theorem in 11 days using 6 billion output tokens, a task that Kevin Buzzard's £1 million project aims to complete over five years. The achievement demonstrates the AI's advanced mathematical reasoning capabilities.

read1 min views1 publishedSep 7, 2026
Claude Formalized Fermat's Last Theorem In 11 Days On 6B Output Tokens
Image: Machinebrief (auto-discovered)

By Jon Markman, ContributorSource:

[Forbes Innovation](https://www.forbes.com/innovation/)
[Anthropic](/glossary/anthropic)'s

Clauderecently formalized Fermat's Last Theorem in just 11 days, a task Kevin Buzzard's £1 million project aims to complete over five years.

Get AI news in your inbox

Daily digest of what matters in AI.

source & further reading
machinebrief.com — original article Inbolt to discuss physical AI’s deployment problem at RoboBusiness OpenAI reports AI "research interns" and warns about its own pace at the same time New York City bans AI tools from public schools through eighth grade
── more in #artificial-intelligence 4 stories · sorted by recency
── more on @anthropic 3 stories trending now
sponsored brought to you by zahid.host 4,200+ EU-deployed projects
reading about agents? ship yours in a single git push.

Run your AI side-project on zahid.host

EU-based hosting, git-push deploys, automatic HTTPS, no cold starts. Free tier with a custom domain — perfect for shipping the agent you just read about.

$git push zahid main
→ Live at https://your-agent.zahid.host ✓
Get free account → Pricing
from €0/mo · no card required
LIVE [news/claude-formalized-fe…] indexed:0 read:1min 2026-09-07 · —