Claude Formalized Fermat's Last Theorem In 11 Days On 6B Output Tokens - Yahoo News UK
9/10Anthropic's Claude AI formalized Fermat's Last Theorem in just 11 days by producing 6 billion output tokens, highlighting Claude's advanced reasoning and mathematical proof abilities.
