mfdela to dewdney-ita

Uno degli usi piu' interessanti dell'AI in matematica imho. Claude ha formalizzato in Lean la dimostrazione dell'ultimo teorema di Fermat. 11 giorni, 13 milioni di righe di codice https://www.anthropic.com...