Mercoledì 7 ottobre 2026, OpenAI ha reso pubblica una vasta raccolta di risultati matematici ottenuti tramite modelli di intelligenza artificiale per il ragionamento avanzato. Il rilascio comprende centinaia di congetture matematiche risolte o confutate e oltre 700 manoscritti scientifici.
La pubblicazione ha provocato immediato disorientamento e shock nella comunità scientifica internazionale per la quantità, la velocità e la complessità dei risultati presentati.
I lavori pubblicati riguardano diversi settori della matematica pura, della combinatoria e dell'ottimizzazione. Tra gli elementi tecnici principali emersi:
- Verifica formale: Ampia parte delle dimostrazioni è stata formalizzata tramite il linguaggio di verifica automatizzata Lean, riducendo i margini di errore logico.
- Efficienza di calcolo: La risoluzione dei singoli problemi ha richiesto un tempo medio di calcolo (compute time) di poche ore.
- Impatto sui problemi aperti: L'approccio automatizzato ha fornito soluzioni o avanzamenti su congetture aperte da tempo nella letteratura scientifica.
L'impatto sul dibattito nella comunità scientifica
L'evento ha ulteriormente alimentato il confronto già aperto sul piano metodologico ed epistemologico:
- Capacità di analisi: Il volume di dimostrazioni prodotte in un unico rilascio supera la capacità immediata di analisi, verifica concettuale e assimilazione da parte della comunità dei ricercatori.
- Metodologia e "Slow Math": L'accelerazione impressa dai modelli automatici ripropone con forza il tema della "Slow Math", ovvero l'esigenza di preservare i tempi della riflessione, della verifica condivisa, dell'intuizione concettuale e della dimensione formativa e collettiva della disciplina.
- Trasparenza e costi computazionali: Proseguono le discussioni relative all'impronta energetica necessaria per l'addestramento e l'esecuzione di questi modelli, oltre che alla disponibilità pubblica dei metodi impiegati dalle aziende del settore.
Link e Risorse
La raccolta completa dei risultati pubblicati da OpenAI è consultabile su: OpenAI Math Collection (Valency Hub)