Riepilogo
OpenAI ha pubblicato 722 manoscritti elaborati con un modello di intelligenza artificiale non ancora disponibile al pubblico.
Gli articoli affermano di fornire risposte a quesiti irrisolti, tra cui studi su π e metodi di calcolo più efficienti.
Alcune dimostrazioni sono state sottoposte a verifiche computerizzate. I ricercatori devono ancora valutare i risultati e la loro utilità.
OpenAI afferma che un modello di intelligenza artificiale ha trovato risposte a quesiti matematici che i ricercatori non erano riusciti a risolvere. Il 6 ottobre, l'azienda hanno pubblicato 722 manoscritti di ricerca dal progetto, consentendo ad altri di esaminare le argomentazioni.
Perché è così importante?
In un compito in classe, qualcuno conosce già la risposta. Un problema di ricerca aperto è una questione che i matematici non hanno ancora risolto. Se queste dimostrazioni si riveleranno valide, aggiungeranno qualcosa di nuovo a ciò che sappiamo.
Una dimostrazione è il ragionamento passo passo che stabilisce perché un'affermazione matematica è vera. I ricercatori possono utilizzare un risultato già dimostrato per affrontare un altro problema, oppure adattare il metodo che lo sottende. Questa è la promessa: l'intelligenza artificiale potrebbe aiutarli a superare gli ostacoli che hanno rallentato il loro lavoro.
A cosa potrebbe servire concretamente?
Un esempio riguarda la moltiplicazione di matrici, ovvero griglie di numeri. Tale calcolo viene utilizzato in grafica per videogiochi, simulazioni meteorologiche e addestramento dell'intelligenza artificialeTrovare modi per farlo con meno fatica può avere un'importanza che va ben oltre un dipartimento di matematica.
IL La nuova collezione include un'affermazione sulla moltiplicazione di matrici molto grandi con un minor numero di passaggi di calcolo. man mano che le griglie diventano più grandi, si apre una possibile direzione per un calcolo più efficiente. Trasformare questa teoria in un software che funzioni più velocemente su macchine reali richiederebbe ulteriore lavoro e test.
Per un ricercatore, l'utilizzo a breve termine è più diretto: leggere una nuova dimostrazione, verificarla e applicare il suo approccio a una questione correlata. Il rilascio non dimostra che i computer di uso quotidiano siano diventati più veloci.
Che cosa significa l'affermazione π?
Pi greco, scritto π, è approssimativamente 3,14159. Dividendo la circonferenza di un cerchio per il suo diametro si ottiene π. Forse ricorderete 22/7 dalle lezioni di scuola: si avvicina a π, ma non è uguale. La frazione 355/113 si avvicina molto di più.
Quanto possono avvicinarsi le frazioni a π man mano che i loro denominatori crescono? Un'approssimazione è più impressionante se si avvicina molto utilizzando un denominatore relativamente piccolo. Uno l'articolo afferma di stabilire il limite sulla velocità con cui tali approssimazioni possono migliorare.
Questa è una domanda sulle proprietà di π, piuttosto che sul calcolo di ulteriori cifre decimali.
Si tratta di 722 scoperte distinte?
No. Di OpenAI La raccolta di ricerca raggruppa i manoscritti in 372 famiglieDiversi articoli possono trattare lo stesso risultato principale, con argomentazioni a supporto o metodi differenti per dimostrarlo.
L'azienda afferma di aver sottoposto al modello circa 4.000 problemi. La raccolta pubblicata rappresenta una selezione dei risultati di tale lavoro. Nessuno dei due numeri significa che ogni problema tentato sia stato risolto.
Come facciamo a sapere che le risposte sono corrette?
Alcuni articoli includono dimostrazioni scritte in Lean, un linguaggio che permette a un computer di verificare i passaggi logici. È comunque necessario che le persone verifichino che la dimostrazione formale corrisponda all'affermazione fatta. OpenAI riconosce che alcuni risultati, senza queste verifiche, potrebbero presentare problemi.
L'indipendente Gruppo consultivo su matematica e intelligenza artificiale L'organizzazione afferma che i matematici devono ancora valutare e comprendere il lavoro svolto. Il suo consiglio a OpenAI non costituisce un'approvazione del processo aziendale né un giudizio sui risultati.
Il fatto che una dimostrazione venga verificata da un computer non ci dice quanto utili saranno le idee che ne derivano. Gli specialisti devono comunque esaminare cosa stabilisce ciascun risultato e come si inserisce nelle ricerche precedenti. Americana Gecko non ha verificato le dimostrazioni in modo indipendente.
Puoi utilizzare questa intelligenza artificiale adesso?
Il modello che ha generato questa collezione non è ancora stato rilasciato. OpenAI afferma di essere al lavoro per renderlo disponibile, ma non ha fornito alcuna data di lancio in questo annuncio.
L'azienda paragona il tempo di elaborazione medio utilizzato per ogni risultato a circa tre ore di lavoro di ChatGPT Pro. Si tratta di una misura dello sforzo computazionale, non di una promessa che un abbonamento ChatGPT attivo possa riprodurre il lavoro in tre ore.
Lasciate che i ricercatori si pongano le proprie domande
Vogliamo che i laboratori universitari, gli studenti e i matematici indipendenti possano utilizzare questo modello e permettersi la potenza di calcolo necessaria. OpenAI ha già pubblicato gli articoli. In seguito, vogliamo che i ricercatori esterni all'azienda abbiano gli strumenti per approfondire le proprie ricerche.
