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 views28 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](https://www.machinebrief.com/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 Vendor-affiliated AI agent tech gets adopted by friendly, funded foundation A Reality Check of Inference-Time Context Augmentation Methods Invisibilization as a Source of Probability Bias in Language Models
── 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 · —