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

> Source: <https://www.machinebrief.com/news/claude-formalized-fermats-last-theorem-in-11-days-on-6b-outp-pvr2>
> Published: 2026-09-07 13:35:56+00:00

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

By Jon Markman, ContributorSource: 

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

[Claude](/glossary/claude)recently 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.