OpenAI afferma che la sua intelligenza artificiale ha prodotto tre grandi prove e chiede a esperti esterni di verificarle
OpenAI sostiene che i suoi modelli hanno dimostrato risultati in informatica, matematica e fisica. Gruppi indipendenti stanno ora verificando e nessuna delle affermazioni è stata ancora confermata.
OpenAI afferma che i suoi modelli interni di intelligenza artificiale hanno prodotto prove per tre problemi aperti e ha chiesto a esperti esterni di verificarli. Nessuno dei reclami è stato ancora risolto, quindi tutto qui è “dice OpenAI”.
La prima affermazione è in ambito informatico: che lo Exponential Time Hypothesis è falso. Questa ipotesi è un presupposto ampiamente attendibile su quanto sia difficile risolvere il SAT, il problema di trovare valori che rendano vera una formula logica. Centinaia di documenti si basano su di esso. Se la dimostrazione fosse valida, quegli articoli perderebbero un sostegno, anche se i loro risultati non sarebbero automaticamente errati. Il secondo è in matematica: la congettura del livellamento locale, proposta nel 1991 e dimostrata prima solo in due dimensioni, ora rivendicata in tutte le dimensioni. OpenAI afferma che questo risolve anche due congetture correlate, la restrizione di Kakeya e Stein. Il terzo è in fisica: alcune teorie quantistiche dei campi esistono matematicamente in quattro dimensioni, coprendo la teoria Yang-Mills, la cromodinamica quantistica e una semplice teoria di grande unificazione. La parte Yang-Mills tocca una Millennium Prize Problem, ma OpenAI afferma di aver risolto solo la parte dell’esistenza, non la parte del “gap di massa”, quindi il premio non viene vinto.
La revisione viene gestita in modo diverso per ciascuno. Per quanto riguarda l’informatica, Ryan Williams e colleghi di UC San Diego non sono retribuiti, non hanno firmato accordi di segretezza e sottolineano che la partecipazione non costituisce un’approvazione. Per la fisica, un gruppo guidato dal vincitore del premio Nobel David Gross sta rivedendo e pianificando il proprio articolo. Per la prova di matematica non esiste un gruppo dedicato; OpenAI ha pubblicato il testo di prova e una versione Lean affinché la comunità possa esaminarla.
Cosa c’è dietro: Lean è un assistente di prova, un software che controlla meccanicamente ogni passaggio logico. È potente, ma conferma solo che la prova corrisponde all’affermazione digitata in Lean. Gli esperti devono ancora confermare che l’affermazione significhi ciò che pensiamo significhi. OpenAI definisce i suoi manoscritti “dati grezzi di ricerca” e ha promesso 5 milioni di dollari allo Simons Foundation per workshop sui risultati dell’intelligenza artificiale. Ammette inoltre che la scelta dei primi revisori determina chi ottiene l’accesso anticipato e afferma che non è ancora chiaro quale metodo di revisione funzioni meglio.
Un avvertimento pratico da parte di Williams: anche se il primo risultato è valido, i problemi SAT nel mondo reale sono generalmente molto più semplici del caso peggiore descritto dall’ipotesi, quindi il software di tutti i giorni potrebbe vedere pochi cambiamenti.
Che cosa significa per te: non cambia nulla nei tuoi strumenti questa settimana. La storia da guardare è il processo: come la comunità scientifica controlla e attribuisce credito al lavoro svolto dall’intelligenza artificiale. Se un titolo successivo dice “L’intelligenza artificiale ha risolto un Millennium Problem”, ricorda che per ora l’affermazione è parziale e non verificata.
Fonti
Dentro la lotta dei volontari di Wikipedia contro gli articoli scritti dall’intelligenza artificiale
IEEE Spectrum profila WikiProject AI Cleanup, i volontari che individuano e rimuovono il testo scritto dai chatbot e cosa dicono i numeri sulla portata del problema.
