Storia
ottobre 8, 2026
La mole di risultati matematici di OpenAI stupisce i ricercatori, ma mette sotto pressione le dimostrazioni
OpenAI presenta la sua più recente pubblicazione in ambito matematico come un passo verso una scoperta scientifica più rapida, mentre i matematici e i loro consulenti accolgono con favore il potenziale dei risultati ma insistono sul fatto che la velocità non può sostituire un esame trasparente e convenzionale.
L’ultima pubblicazione di OpenAI in ambito matematico è arrivata al tempo stesso come uno spettacolo e una prova di stress: un’enorme, dichiarata ondata di progressi da un modello di frontiera non ancora rilasciato, ora consegnata a un settore costruito attorno a una verifica lenta e rigorosa.
La tensione cresceva da settembre, quando OpenAI ha dichiarato che il suo sistema aveva «risolto più di 100 problemi aperti di lunga data nella maggior parte delle aree della matematica».1 La presentazione pubblica dell’azienda era senza remore espansiva. In un post condiviso dalla dirigente di OpenAI Lilian Weng, l’azienda ha affermato di pubblicare «un’ampia gamma di nuovi risultati matematici» prodotti da un modello di frontiera interno e sviluppati con la consulenza di un gruppo indipendente su matematica e IA.
2 Greg Brockman ha descritto l’ambizione più ampia come «l’accelerazione della scoperta scientifica e il miglioramento della qualità della vita per tutti».
3
Poi è arrivata la divulgazione concreta di martedì: 722 manoscritti che coprono 372 famiglie di risultati, con soluzioni a «centinaia» di questioni aperte, secondo l’Advisory Group on Mathematics and Artificial Intelligence, o AGMAI.1 Un’altra ricostruzione ha descritto risultati su oltre 300 problemi aperti come una «quantità sbalorditiva di progresso matematico» che ha lasciato i matematici impegnati a cercare di dare un senso alla pubblicazione.4
OpenAI ha fornito alcune sintesi del ragionamento, stime dell’uso di calcolo e cifre sui problemi affrontati; afferma che il risultato medio ha richiesto l’equivalente di tre ore di ragionamento di ChatGPT Pro. Sta pubblicando attraverso un repository GitHub con protocolli di revisione e citazione.1
Ma le raccomandazioni di AGMAI rendono più netto l’altro lato della storia. Il gruppo ha esortato i laboratori a pubblicare tempestivamente attraverso canali accademici consolidati, ove possibile, e a divulgare il modello, i prompt e i costi di calcolo. In modo più diretto, ha detto alle aziende di «astenersi dal trattare la pubblicazione di risultati matematici come strumenti di marketing per promuovere i loro modelli».1 I risultati potrebbero essere straordinari; la domanda ora è se la loro convalida riuscirà a tenere il passo.