Claude ha completato in undici giorni la formalizzazione informatica della dimostrazione del Teorema di Fermat, un progetto che un team umano aveva stimato richiedere circa dieci anni, generando 13 milioni di righe di codice Lean e 30.300 teoremi intermedi. #IntelligenzaArtificiale #Matematica #TeoremaDiFermat
www.ilfattoquotidiano.it
Claude formalizza in undici giorni la dimostrazione del Teorema di Fermat, il progetto umano prevedeva 10 anni
