OpenAI ha annunciato tre significativi risultati scientifici ottenuti con i propri modelli di IA. Essi riguardano la matematica, l'informatica e la fisica.
In ambito matematico, il modello ha dimostrato la congettura del livellamento locale (local smoothing conjecture) in ogni dimensione spaziale non inferiore a due. Il risultato comprende anche le congetture di Kakeya e le stime di restrizione di Stein nell'intero intervallo.
L'azienda ha pubblicato il risultato del modello direttamente su GitHub, seguendo le raccomandazioni degli esperti. In precedenza la congettura era stata dimostrata solo in tre dimensioni.
In informatica l'IA ha confutato l'ipotesi del tempo esponenziale (Exponential Time Hypothesis). Viene presentato un algoritmo deterministico che conta esattamente le assegnazioni soddisfacenti per formule CNF di larghezza fissa in tempo subesponenziale.
La verifica del risultato sarà guidata da un gruppo indipendente diretto da Russell Impagliazzo, Ramamohan Paturi e Ryan Williams. I materiali sono stati resi pubblici immediatamente.
In fisica è stata ottenuta una dimostrazione matematicamente rigorosa dell'esistenza di determinate teorie quantistiche dei campi interagenti con campi di gauge e fermioni in quattro dimensioni. Tra gli esempi figurano la cromodinamica quantistica e il completamento unificato del Modello Standard.
Il gruppo di fisici sarà guidato da David Gross e comprende anche Michael Douglas, Arthur Jaffe, Igor Klebanov e Nikita Nekrasov. Hanno deciso di rinviare il rilascio completo per preparare una propria interpretazione.
OpenAI ha coinvolto scienziati esterni come «pastori» (shepherds) per lavorare sui risultati. L'azienda osserva che i diversi approcci alla pubblicazione comportano propri compromessi, inclusi questioni di accesso e asimmetria informativa.
Il professor Alex Iosevich, matematico dell'Università di Rochester, ha definito la dimostrazione della congettura del livellamento locale uno sviluppo storico. Ha espresso gioia e ottimismo riguardo al potenziale dell'IA nella scienza, pur notando sentimenti contrastanti tra i teorici.
Come cambierà il processo della scoperta scientifica quando l'IA inizierà a proporre sempre più risultati di questo tipo?
