{"slug": "claude-formalized-fermat-s-last-theorem-in-11-days-on-6b-output-tokens", "title": "Claude Formalized Fermat's Last Theorem In 11 Days On 6B Output Tokens", "summary": "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.", "body_md": "# Claude Formalized Fermat's Last Theorem In 11 Days On 6B Output Tokens\n\nBy Jon Markman, ContributorSource: \n\n[Forbes Innovation](https://www.forbes.com/innovation/)\n[Anthropic](/glossary/anthropic)'s\n\n[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.\n\nGet AI news in your inbox\n\nDaily digest of what matters in AI.", "url": "https://wpnews.pro/news/claude-formalized-fermat-s-last-theorem-in-11-days-on-6b-output-tokens", "canonical_source": "https://www.machinebrief.com/news/claude-formalized-fermats-last-theorem-in-11-days-on-6b-outp-pvr2", "published_at": "2026-09-07 13:35:56+00:00", "updated_at": "2026-09-07 15:55:21.504706+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "large-language-models"], "entities": ["Anthropic", "Claude", "Kevin Buzzard"], "alternates": {"html": "https://wpnews.pro/news/claude-formalized-fermat-s-last-theorem-in-11-days-on-6b-output-tokens", "markdown": "https://wpnews.pro/news/claude-formalized-fermat-s-last-theorem-in-11-days-on-6b-output-tokens.md", "text": "https://wpnews.pro/news/claude-formalized-fermat-s-last-theorem-in-11-days-on-6b-output-tokens.txt", "jsonld": "https://wpnews.pro/news/claude-formalized-fermat-s-last-theorem-in-11-days-on-6b-output-tokens.jsonld"}}