OpenAI ha rilasciato una vasta collezione di ricerca matematica prodotta da un modello AI di frontiera interna, tra cui il lavoro su problemi che hanno sfidato i matematici professionali per anni.
La società ha annunciato il rilascio il 6 ottobre, dicendo che i risultati coprono una vasta gamma di matematica e sono stati pubblicati apertamente per il controllo da parte dei ricercatori.
La raccolta pubblica contiene 722 manoscritti organizzati in 372 famiglie di risultati correlati, secondo la comunità di sviluppatori di OpenAI. Il lavoro è emerso da una valutazione che coinvolge circa 4.000 problemi matematici.
Il Verge riporta che la raccolta si estende su centinaia di risultati matematici generati da un modello di frontiera non autorizzato. Ma la pubblicazione non significa che ogni pretesa dovrebbe essere immediatamente trattata come fatto matematico stabilito. I ricercatori dovranno esaminare le prove e determinare l'importanza e la novità dei singoli risultati.
Una caratteristica particolarmente significativa è che OpenAI ha fornito formalità di molte prove utilizzando Lean, un linguaggio di programmazione che permette di controllare le prove matematiche dal computer. La società dice che le formalità aggiuntive saranno aggiunte nel tempo.
OpenAI ha anche rivelato una notevole misura del calcolo coinvolto. In media, ogni risultato richiesto calcolo equivalente a circa tre ore di ChatGPT Pro pensare utilizzando il modello interno.
Il rilascio segue affermazioni sempre più drammatiche sulla capacità dell'IA di contribuire alla matematica. Nel mese di settembre OpenAI ha detto che lo stesso più ampio sforzo di ricerca aveva risolto più di 100 problemi aperti di lunga data, spingendo l'azienda a lavorare con un gruppo indipendente di matematici prominenti su come tali scoperte dovrebbero essere esaminate e comunicate.
Il gruppo consultivo comprende matematici di istituzioni tra cui Stanford, Harvard, Oxford, Cambridge, Berkeley e l'Istituto per lo studio avanzato. Il suo ruolo non è semplicemente quello di sostenere il lavoro di OpenAI, ma di consigliare in modo indipendente su significato, standard di ricerca e divulgazione responsabile.
La domanda più grande ora va oltre se l'IA può rispondere a domande di matematica difficili.
Se i matematici indipendenti alla fine verificano porzioni significative di questo lavoro, la nuova frontiera può essere se l'IA può regolarmente scoprire la matematica che gli esseri umani non sapevano già.
