matematica
-
Claude formalizza l’Ultimo Teorema di Fermat: 13 milioni di righe di Lean in 11 giorni
Anthropic dichiara la prima prova di Fermat verificata al computer: 11 giorni di lavoro autonomo, 13 milioni di righe di Lean. Cosa resta da verificare.