IA & Filosofia Matematica & Logica La formalizzazione dell’ultimo teorema di Fermat in Lean 4: quando l’IA riscrive la pratica matematica 28 Settembre 2026 Emanuela G La formalizzazione assistita da IA dell'ultimo teorema di Fermat in Lean 4 segna una svolta: 13 milioni di righe in 11 giorni. Ma se la matematica diventa verificabile ma non…
