Anthropic formalise le théorème de Fermat

Anthropic publie une étude détaillant la formalisation complète de la preuve du théorème de Fermat en Lean, assistée par un modèle d'IA. Ce travail démontre la capacité des outils formels à vérifier des mathématiques complexes et ouvre la voie à de nouvelles collaborations entre humains et machines.