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 [...] L'articolo Claude formalizza in undici giorni la dimostrazione del Teorema di Fermat, il progetto umano prevedeva 10 anni proviene da Il Fatto Quotidiano .
Claude formalizza in undici giorni la dimostrazione del Teorema di Fermat, il progetto umano prevedeva 10 anni
