OpenAI annuncia tre scoperte scientifiche nei campi di matematica fisica e informatica

La società OpenAI ha annunciato il raggiungimento di tre nuovi traguardi scientifici ottenuti attraverso l'impiego dell'intelligenza artificiale nei campi della matematica, della fisica e dell'informatica. Questi risultati arrivano a meno di un mese dalla pubblicazione di centinaia di altri lavori, avvenuta il 6 ottobre, in cui l'azienda aveva già presentato diverse soluzioni a problemi matematici di lunga data, consolidando il ruolo dell'automazione avanzata nella ricerca teorica contemporanea.

Nel settore della matematica, l'intelligenza artificiale ha prodotto una dimostrazione relativa al livellamento locale dell'equazione delle onde nello spazio euclideo. Attraverso l'uso di un'equazione differenziale alle derivate parziali ausiliaria, il sistema ha dimostrato la congettura di Sogge per le onde in spazi con almeno due dimensioni. Il lavoro ha inoltre confermato diverse ipotesi di Kakeya e le stime di Stein. Seguendo il consiglio dei consulenti esterni, OpenAI ha scelto di pubblicare direttamente questi risultati per consentire alla comunità scientifica di analizzare autonomamente le prove e proporre le proprie spiegazioni teoriche. Gli esperti hanno inoltre suggerito per il futuro di accompagnare queste pubblicazioni con dimostrazioni formalizzate nel linguaggio di programmazione Lean e di istituire meccanismi di finanziamento per i ricercatori dedicati all'analisi dei dati prodotti dall'intelligenza artificiale.

Per quanto riguarda l'informatica, l'annuncio riguarda la confutazione della congettura del tempo esponenziale (ETH). Il modello ha presentato un algoritmo capace di calcolare con precisione il numero di soluzioni in una specifica classe di problemi logici in un tempo inferiore a quello esponenziale, operando con un volume di memoria limitato. Un gruppo indipendente di scienziati è stato incaricato di studiare e chiarire la dimostrazione; su loro richiesta, l'azienda ha garantito l'accesso immediato ai materiali per favorire il confronto tra gli specialisti del settore.

La terza scoperta riguarda la fisica e, sebbene i dettagli completi non siano ancora stati divulgati, l'azienda ha riferito di aver ottenuto una prova matematica rigorosa dell'esistenza di determinate teorie quantistiche dei campi interagenti. Lo studio include campi di gauge e fermioni nello spazio quadridimensionale, con applicazioni dirette alla cromodinamica quantistica e all'integrazione del Modello Standard della fisica delle particelle. In questo ambito, OpenAI si avvale del supporto di esperti esterni per accompagnare il processo di presentazione dei risultati.

Contestualmente ai risultati, l'azienda ha diffuso una lettera aperta indirizzata alla comunità scientifica per discutere i nuovi standard di verifica e le norme di lavoro legate ai progressi scientifici ottenuti tramite intelligenza artificiale. Il documento pone tre interrogativi fondamentali: quali principi debbano guidare l'accesso anticipato ai risultati e la gestione dei conflitti di interesse, come debba essere riconosciuto il merito a chi lavora alla verifica e semplificazione delle prove generate dalle macchine e come sostenere studenti e ricercatori nel cambiamento dei metodi di indagine, mantenendo la capacità critica umana.