L'IA entra in matematica: dove siamo
10/09/2026 · Intelligenza Artificiale
Negli ultimi mesi l'intelligenza artificiale ha iniziato a produrre risultati che la comunità matematica non si aspettava così presto. A maggio 2026 un modello di OpenAI ha risolto la congettura delle distanze unitarie, un problema aperto da decenni; ad agosto lo stesso gruppo ha pubblicato altri dieci risultati su problemi di lunga data in matematica e informatica teorica. Anche le competizioni raccontano una progressione netta: se nel 2024 i primi sistemi avevano bisogno di assistenza umana per affrontare i problemi delle Olimpiadi di matematica, nel 2025 Gemini Deep Think ha gareggiato in piena autonomia conquistando una medaglia d'oro.
Ma quanto sono davvero certi questi risultati?
La risposta dipende da come viene verificata la dimostrazione. I sistemi più rigorosi, come AlphaProof di DeepMind, non si affidano alla fluidità del modello linguistico: il modello propone i singoli passi di una dimostrazione in un linguaggio formale (Lean), e un verificatore simbolico separato — un compilatore deterministico, non una rete neurale — controlla meccanicamente ogni passo. La dimostrazione è accettata solo se il verificatore non trova errori: zero margine di fiducia nella plausibilità del testo generato. È lo stesso principio con cui AlphaZero gioca a scacchi: la rete propone e valuta mosse, ma sono le regole del gioco a stabilire se una mossa è valida.
Non tutti i risultati passano da questo tipo di verifica, però. La medaglia d'oro di Gemini Deep Think alle Olimpiadi è stata prodotta e valutata in linguaggio naturale, da correttori umani — con lo stesso standard, e lo stesso margine di errore possibile, con cui si valuta la dimostrazione di uno studente.
Non tutti guardano solo ai risultati. Terence Tao, medaglia Fields, ha dedicato la sua lezione all'ICM 2026 a una domanda diversa: non quanto diventerà brava l'IA, ma quali sono davvero gli obiettivi della ricerca matematica, e chi decide come integrarla nella disciplina.
Per approfondire: - Ten advances in mathematics – OpenAI - The AI Revolution in Math Has Arrived – Quanta Magazine - Mathematics in the age of AI – Terence Tao (ICM 2026)