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.

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.