La buona notizia del giorno
Aube
.
IA
Secondo Anthropic, il teorema di Fermat formalizzato in Lean
La dimostrazione comprende 13 milioni di righe di codice Lean e circa 29.500 teoremi intermedi.
Leggi su Aube →
Scritto dall’IA