Anthropic fait vérifier par ordinateur une preuve de Fermat vieille de 30 ans
Anthropic a fait vérifier par ordinateur, en 11 jours et 13 millions de lignes de code Lean, la preuve du théorème de Fermat qu'Andrew Wiles avait publiée en 1995 - Claude n'a rien démontré de nouveau, il a traduit une preuve déjà acceptée dans un langage qu'une machine peut contrôler pas à pas.