OpenAI pubblica 372 dimostrazioni matematiche generate dall'IA su GitHub
decoder ·
OpenAI ha pubblicato su GitHub 372 risultati matematici generati da un modello di intelligenza artificiale interno, con l'obiettivo di risolvere o avanzare problemi aperti come quelli relativi all'ipotesi di Riemann. Queste dimostrazioni sono state prodotte principalmente utilizzando un singolo prompt e un agente, con ogni risultato che ha richiesto circa tre ore di calcolo tramite ChatGPT Pro. Per affrontare il volume schiacciante di output che potrebbe sovraccaricare i processi di revisione manuale, molte dimostrazioni includono formalizzazioni in Lean per una verifica verificabile dalle macchine. L'azienda ha scelto GitHub rispetto alle tradizionali riviste peer-reviewed, segnalando che la pubblicazione accademica convenzionale è troppo lenta per questo ritmo di scoperta. Sebbene OpenAI abbia consultato un gruppo di consulenza composto tra gli altri da vincitori della Medaglia Fields, i matematici non hanno avuto voce in capitolo sulla velocità o sulla quantità di produzione dei risultati. Le reazioni all'interno della comunità matematica sono divise, spaziando dall'eccitazione alla frustrazione per le implicazioni delle dimostrazioni prodotte in massa. I critici, inclusi 25 vincitori della Medaglia Fields, avvertono che concentrarsi sui risultati risolutivi dei problemi potrebbe minare la comprensione concettuale e l'intuizione genuina. Di conseguenza, vi sono preoccupazioni che la rapida espansione della letteratura generata dall'IA possa alla fine superare la capacità di comprensione umana.
decoder