Claude formalizza in undici giorni la dimostrazione del Teorema di Fermat il progetto umano prevedeva 10 anni
Un’intelligenza artificiale ha risolto il Teorema di Fermat in appena undici giorni, contro i dieci anni previsti. La scoperta è stata annunciata a luglio, quando un premio Nobel per la Fisica ha comunicato di aver contribuito allo sviluppo del progetto. Claude, il sistema coinvolto, ha completato la dimostrazione in tempi record, dimostrando la capacità di calcolo e analisi dell’intelligenza artificiale.
Lo scorso luglio fu il premio Nobel per la Fisica ad annunciare che aveva aiutato l’Intelligenza artificiale Claude a risolvere un enigma della fisica. Adesso Anthropic ha annunciato che un modello sperimentale di Claude ha completato in undici giorni la formalizzazione in linguaggio Lean della dimostrazione del Teorema di Fermat. Il risultato, annunciato dall’azienda, consiste nella traduzione di una complessa dimostrazione matematica in codice verificabile da un computer. Claude ha generato circa 13 milioni di righe di codice e 30.300 teoremi intermedi. Un risultato che assume particolare rilievo se confrontato con il progetto umano guidato dal matematico Kevin Buzzard, per il quale la formalizzazione completa del teorema era stata stimata in circa dieci anni. 🔗 Leggi su Ilfattoquotidiano.it
Notizie e thread social correlati
Collasso Nazionale, così è saltata la nuova Triade del calcio italiano: il progetto di rilancio in “8-10 anni” frantumato in 16 giorniIl progetto di rilancio della nazionale di calcio, annunciato come un piano di 8-10 anni, si è dissolto in appena 16 giorni.
Collasso Nazionale, così è saltata la nuova Triade del calcio italiano: il progetto di rilancio in “8-10 anni” si è frantumato in 16 giorniIn soli 16 giorni, il progetto di rilancio della Nazionale di calcio è crollato, dopo aver previsto un percorso di 8-10 anni.
Claude verifica il Teorema di Fermat: 10 anni di lavoro in 11 giorniAnthropic ha utilizzato un prototipo avanzato di Claude per produrre circa 13 milioni di righe in Lean, un linguaggio progettato per rappresentare formalmente ragionamenti matematici. Il sistema ... hdblog.it
Un'intelligenza artificiale ha tradotto da sola il Teorema di Fermat in soli 11 giorniUn'architettura di agenti AI ha formalizzato l'Ultimo Teorema di Fermat rendendolo verificabile da un computer. I tempi previsti erano ben altri! tech.everyeye.it
➜