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 demonstra…