Le porte sono aperte. Subito dopo che il massiccio modello linguistico di OpenAI ha prodotto la più grande svolta matematica degli ultimi due decenni, la società ha recentemente pubblicato non meno di 372 risultati dello stesso modello. Ciascuno risolve o fa progressi significativi su un’importante questione aperta in matematica o informatica, ha affermato la società.
OpenAI ha rivelato i risultati in un repository GitHub alle 18:00 EDT. I matematici impiegheranno mesi per esaminare e comprendere il diluvio, compreso determinare se le prove contengano idee nuove e importanti o semplicemente generalizzino tecniche esistenti. Ma la maggior parte dei risultati sono già stati convalidati in Lean – un linguaggio di programmazione che convalida la logica dell’evidenza – e quindi è garantita la loro correttezza.
Tra i risultati desiderati ci sono la soluzione della congettura quadridimensionale di Kakeya, lo sviluppo di alcuni degli algoritmi informatici più importanti al mondo e un progresso reale verso il temuto problema matematico, l’ipotesi di Riemann.
A sostegno del giornalismo scientifico
Se ti piace questo articolo, considera di sostenere il nostro pluripremiato giornalismo registrazione. Acquistando un abbonamento contribuisci a garantire il futuro di notizie di grande impatto sulle scoperte e le idee che modellano il nostro mondo oggi.
Lo ha detto un portavoce di OpenAI scienza americana che il nuovo modello, che l’azienda deve ancora rilasciare al pubblico, produce quasi tutti i risultati con un’unica risposta rapida fornita da un singolo agente AI. Questa sarebbe una differenza sorprendente rispetto alla precedente soluzione di successo di OpenAI al problema di Navier-Stokes, che è stata prodotta attraverso gli sforzi collettivi di un gruppo di 10.000 agenti che ha consumato milioni di dollari in potenza di calcolo. Se fosse vero, ciò potrebbe significare che un potere matematico senza precedenti potrebbe presto essere disponibile per chiunque. Ma la reputazione di OpenAI, tra i matematici, per le sue affermazioni audaci e la sua scarsa trasparenza solleva seri dubbi.
“Fino a quando non verrà pubblicato il modello e le persone non potranno replicare i loro risultati, penso che si debba considerare qualsiasi affermazione sui problemi legati ai colpi di un singolo agente come non provata”, ha detto Andrew Sutherland, uno statistico del Massachusetts Institute of Technology. “Dovremmo chiedere le ricevute.” (Lo ha detto anche un portavoce di OpenAI scienza americana che alcuni risultati potrebbero richiedere più tentativi.)
La gestione da parte di OpenAI del rilascio della soluzione Navier-Stokes è stata così controversa che, il 21 settembre, la società ha annunciato che stava convocando un gruppo indipendente di consulenti statistici per fornire raccomandazioni sulla pubblicazione responsabile dei risultati generati dall’intelligenza artificiale. Le raccomandazioni sviluppate dal gruppo richiedono che l’azienda che produce tali risultati realizzi un modello pubblico, rapidamente e calcoli il tempo dopo ogni articolo. Nonostante le raccomandazioni del gruppo, però, OpenAI preferisce solo rivelare media aggiungiamo il periodo di crisi e alcune statistiche aggiuntive e non ci sono informazioni.
Lo ha detto un portavoce di OpenAI scienza americana che il team prende sul serio le linee guida del gruppo consultivo e fa tutto il possibile per rispettarle, ma ha aggiunto che la società non è vincolata da queste raccomandazioni.
Le raccomandazioni sono particolarmente importanti per le società di intelligenza artificiale che utilizzano “modelli interni proprietari” che non sono accessibili a un’ampia gamma di esperti statistici. OpenAI ha detto scienza americana che l’azienda sta lavorando per rilasciare il modello nel modo più rapido e responsabile possibile.
Mentre si sviluppava la controversia Navier-Stokes, i commenti dei dipendenti di OpenAI hanno portato alcuni matematici a credere che il modello dell’azienda producesse risultati aggiuntivi, ma erano riluttanti ad annunciarli. Ciò solleva una domanda importante: è più pericoloso presentare al pubblico una massa di prove inspiegabili o nasconderle del tutto?
“Se vogliamo conoscere le risposte a queste domande matematiche, non vedo alcun motivo per cui dovremmo chiedere alla società di nascondercele”, ha detto Daniel Litt, matematico dell’Università di Toronto. “Per me, sarà una buona cosa matematicamente.”
D’altra parte, il famoso matematico Terence Tao ha criticato OpenAI e altri laboratori di intelligenza artificiale “di frontiera” per la velocità “folle” dei risultati generati dall’intelligenza artificiale.
Tali risultati potrebbero arrivare molto rapidamente dai laboratori stessi – ha detto il portavoce di OpenAI scienza americana che molti dei risultati recentemente pubblicati dalla società non sono stati compresi dai suoi statistici. Tuttavia, non hanno intenzione di rallentare. L’azienda vuole mettere lo strumento più potente possibile nelle mani dei matematici.
Inoltre, OpenAI lo sostiene Non lo farò rallentare perché questi problemi di matematica sono un test importante per dimostrare che la loro intelligenza artificiale sta davvero diventando più intelligente.
Ma per i professionisti che vedono la verità statistica come un fine piuttosto che come un mezzo, i risultati di questa corsa sono sempre più difficili da prevedere.
Nota dell’editore (26/10/26): Questa è una notizia dirompente e verrà aggiornata.
Iscriviti per sostenere il giornalismo indipendente
Il grande giornalismo scientifico richiede competenza umana, tempo, impegno e creatività. E costa denaro. Ecco perché io e i giornalisti siamo qui scienza americana Spero che ti unirai alla nostra comunità.
Quando ti registri, sostieni lo staff e i giornalisti indipendenti che amano raccontare storie scientifiche vere, importanti e avvincenti. I nostri redattori e reporter sono spesso esperti nei loro campi, il che significa che comprendono le sfumature delle grandi scoperte e possono sfatare il successo dalla pubblicità. Iscrivendoti, sostieni anche un rigoroso controllo dei fatti per garantire che le parole che pubblichiamo siano accurate e corrette. Supporta anche illustrazioni, grafica e immagini originali che ti avvicinano a un laboratorio avanzato, a una calotta glaciale in Antartide o a una missione spaziale in orbita. Ci aiuti anche a realizzare altri tipi di giornalismo di alta qualità: le nostre newsletter sono scritte, curate e curate con cura da personale che conosci o ami. Il nostro Scienza veloce Il podcast si basa su resoconti originali, collaborazione con editori e scienziati e una produzione intensiva.
Gli abbonamenti mantengono acceso questo motore in modo che possiamo continuare a offrirti un giornalismo scientifico attento, rigoroso e indipendente. In un’epoca di disinformazione virale, questo lavoro è importante. Se apprezzi ciò che facciamo, spero che prenderai in considerazione l’idea di unirti a noi come abbonato