13 milioni di righe e 11 giorni: così l'IA ha reso verificabile il teorema di Fermat
Un'architettura di agenti AI ha formalizzato l'Ultimo Teorema di Fermat rendendolo verificabile da un computer. I tempi previsti erano ben altri!
Esiste una dimostrazione matematica che, dal 1995, è ritenuta valida, ma che nessun computer era mai riuscito a controllare riga per riga. Trasporla in un formato verificabile dalle macchine pareva un lavoro destinato a richiedere anni, ma un sistema di agenti IA costruito attorno a Claude di Anthropic ci è riuscito in 11 giorni.
Prosegui la lettura
Qual è la tua reazione?
Mi piace
0
Antipatico
0
Lo amo
0
Comico
0
Wow
0
Triste
0
Furioso
0
Eventi e News
Eventi e News in Italia
Commenti (0)