Announced September 4, 2026, Anthropic says Claude ran largely autonomously for 11 days to produce the first end-to-end, computer-checked proof of Fermat's Last Theorem in Lean. The run generated 13 million lines of code, proved about 29,500 theorems used in the final proof, and consumed roughly 6 billion output tokens.
Home › Founders News › Tech News
Anthropic's Claude produces first computer-checked proof of Fermat's Last Theorem
Why this matters for founders
This is a concrete signal that frontier models can now sustain multi-day autonomous work, worth a pilot if your product involves long-horizon reasoning, formal verification, or code generation.
Source: Anthropic
Related updates
More that helps you.
Temporal raises $550M Series E at $12.55B for reliable AI infrastructure
On September 14, 2026, durable-execution platform Temporal announced a $550M Series E at a $12.55B valuation, co-led by Lightspeed with Wellington, Goldman Sachs Alternatives, and…
Mistral AI raises record 3B euro Series D led by Samsung at 21B euro value
France's Mistral AI closed a 3 billion euro (about $3.5B) Series D led by Samsung Electronics on September 8, 2026, with co-leads EQT's Scaleup Europe Fund and PSG Equity, lifting…
Cognition raises $2B at a $48B valuation for its Devin coding agent
On September 8, 2026 San Francisco-based Cognition AI closed a $2 billion Series E at a $48 billion valuation, led by Andreessen Horowitz, Accel, Founders Fund, General Catalyst an…
Gimlet Labs raises $300M Series B at $3B for multi-chip inference
Gimlet Labs closed a $300 million Series B on Sept 4, 2026 at a $3 billion valuation, led by Andreessen Horowitz with Arm, Samsung Ventures, and Microsoft's M12 among backers, brin…
Get briefs like this tuned to you.
In the app, Founder Briefs are personalized to your country, industry and stage, and you can save the ones that matter.
See plans →
Keep exploring
Related across the site
Case studyJensen HuangNVIDIAToolClaudeClaude is a conversational AI assistant that can write, edit, summarize, analyze documents, code, and reason through problems. It works via chat, and Claude Code brings the same model into a developer terminal.Case studyEric YuanZoomCase studyTobias LütkeShopifyChecklistThe SaaS launch checklist that shipsEvery step from idea validation to your first paying customer, seeded into your workspace in the order that keeps you moving.GuideSet up analytics from your first dayInstall Mixpanel, PostHog, or Amplitude and verify your value path events fire, so you can answer who signed up and who reached your product's aha moment.