OpenAI ha appena pubblicato altre centinaia di risultati su grandi problemi matematici
OpenAI Annuncia Centinaia di Soluzioni a Problemi Matematici, Ma Lo Scetticismo Persiste
OpenAI ha annunciato la pubblicazione di centinaia di soluzioni e progressi relativi a 372 importanti problemi matematici, rendendo disponibili 722 manoscritti su GitHub. Questi nuovi traguardi, ottenuti da un modello pionieristico di ChatGPT non ancora rilasciato e confermati da un nuovo gruppo consultivo interno di OpenAI, potrebbero intensificare la controversia sull’intelligenza artificiale e le equazioni di Navier-Stokes che già agita la comunità matematica.
I risultati erano in parte attesi, poiché il mese scorso OpenAI aveva già anticipato che i suoi modelli avevano risolto "più di 100 problemi aperti di lunga data nella maggior parte delle aree della matematica". Il rilascio include il ragionamento del modello, le stime di calcolo e informazioni sul numero di problemi affrontati, con l’azienda che ha dichiarato che il "risultato medio" ha richiesto circa tre ore di utilizzo di ChatGPT Pro.
OpenAI ha affermato di aver seguito le linee guida per la pubblicazione dei documenti, come raccomandato dal suo Gruppo Consultivo Indipendente su Matematica e Intelligenza Artificiale (AGMAI). Tali raccomandazioni includevano un rilascio tempestivo dei risultati attraverso i canali accademici tradizionali, oltre a dettagli come il nome del modello utilizzato, i prompt e i costi di calcolo. La società ha dichiarato di voler continuare a esplorare alternative di hosting comunitario e migliorare la qualità dei documenti futuri tramite citazioni, esposizione matematica e presentazione dei risultati.
Tuttavia, OpenAI ha ignorato alcuni suggerimenti del gruppo consultivo, non rilasciando tempi di calcolo specifici per i problemi né i prompt esatti utilizzati. Tra i risultati chiave rivendicati dall’azienda figurano una soluzione alla congettura di Kakeya in quattro dimensioni, miglioramenti agli algoritmi informatici fondamentali e progressi verso l’ardua ipotesi di Riemann. Quasi ogni articolo sarebbe stato prodotto in risposta a un singolo prompt dato a un singolo agente AI, secondo quanto riportato da Scientific American.
Nonostante le affermazioni di OpenAI, i risultati necessitano ancora di una valutazione approfondita da parte dei matematici per comprenderne il reale impatto. A seguito dell’imbroglio di Navier-Stokes, persiste un notevole scetticismo nella comunità scientifica. Andrew Sutherland, matematico del MIT, ha dichiarato a Scientific American: "Finché non rilasceranno il modello e le persone non potranno replicare i loro risultati, penso che si debba trattare qualsiasi affermazione sulla risoluzione di problemi con un singolo agente come non verificata".