Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens

Anthropic's Claude AI formalized Fermat's Last Theorem in 11 days, a task that a £1 million human-led project led by Kevin Buzzard plans to achieve over five years.