Toutes les news taguées avec ce sujet.
Les chercheurs utilisent un assistant d'IA pour formaliser la preuve du grand théorème de Fermat en Lean.