OpenAI pubblica 722 studi matematici: li ha prodotti un modello segreto

La matematica potrebbe diventare uno dei primi campi scientifici in cui l'intelligenza artificiale non si limita ad aiutare i ricercatori, ma prova direttamente a produrre nuova conoscenza, e sono diverse le realtà che stanno puntando in questa direzione. Le più importanti sono Anthropic e OpenAI, e proprio quest'ultima ha reso disponibile una pubblicazione che non lascia molti dubbi sui progressi, nonostante non manchino luci e ombre. Di che si tratta?

La società ha messo online 722 manoscritti matematici, organizzati in 372 famiglie di risultati, prodotti in gran parte da un modello interno non ancora distribuito pubblicamente. Durante la sperimentazione il sistema avrebbe affrontato circa 4.000 problemi, utilizzando mediamente per ogni risultato una quantità di calcolo equivalente a circa tre ore di ragionamento di ChatGPT Pro. Ma cosa significa concretamente?

Non stiamo parlando semplicemente di un'AI che risolve esercizi universitari, perché nel catalogo compaiono problemi di teoria dei numeri, geometria, informatica teorica e fisica matematica, comprese questioni rimaste aperte nella letteratura scientifica. OpenAI sostiene quindi di aver ottenuto risultati nuovi in numerosi settori della matematica.

CLICCA QUI PER CONTINUARE A LEGGERE