- Molti matematici ritengono che il campo stia attraversando uno dei cambiamenti più rapidi della storia, poiché l’IA migliora rapidamente la sua capacità di risolvere calcoli e dimostrare teoremi.
- Nel 2025, il matematico Daniel Litt scommise che c’era solo il 25% di probabilità che l’IA potesse scrivere un articolo matematico al livello dei migliori matematici entro il 2030, ma solo un anno dopo ha ammesso che potrebbe perdere la scommessa.
- Solo pochi anni fa, l’IA riusciva a malapena a risolvere problemi di scuola superiore, ma ora è in grado di gestire questioni che emergono nella ricerca matematica reale.
- I sistemi di IA di aziende come OpenAI e Google DeepMind hanno raggiunto prestazioni equivalenti a una medaglia d’oro alle Olimpiadi Internazionali della Matematica.
- Nel gennaio 2026, i matematici hanno iniziato a usare l’IA per risolvere alcuni problemi di lunga data proposti dal matematico Paul Erdős.
- Un nuovo progetto chiamato First Proof, avviato da Nikhil Srivastava presso l’Università della California Berkeley, mira a creare un set di problemi di ricerca reali per valutare le capacità matematiche dell’IA.
- Il primo set di test consiste in 10 problemi provenienti da vari campi matematici con un livello di difficoltà da medio ad avanzato.
- L’IA di OpenAI avrebbe risolto correttamente circa 5/10 problemi, mentre il sistema di Google DeepMind ne ha risolti 6/10 secondo le valutazioni degli esperti.
- Google ha sviluppato uno strumento di IA matematica chiamato Aletheia, che combina il chatbot Gemini con algoritmi di verifica per rilevare errori nelle soluzioni e migliorare i risultati attraverso iterazioni.
- Oltre a risolvere problemi, l’IA sta progredendo nel convertire le dimostrazioni scritte a mano in codice verificabile dal computer, un processo chiamato formalizzazione.
- L’azienda Math, Inc. ha sorpreso la comunità quando la sua IA Gauss ha formalizzato e verificato automaticamente una dimostrazione vincitrice della Medaglia Fields di Maryna Viazovska sul problema dell’impacchettamento di sfere.
- La dimostrazione generata dall’IA è lunga circa 200.000 righe di codice, equivalenti a circa il 10% di tutta la matematica formalizzata nel mondo.
- I ricercatori credono che in futuro l’IA potrà controllare automaticamente nuovi articoli matematici e rilevare errori durante il processo di peer review accademica.
📌 Conclusione: L’IA sta cambiando profondamente il modo in cui viene fatta la matematica. I sistemi di IA hanno ottenuto risultati da 5/10 a 6/10 sui problemi di ricerca nel progetto First Proof e hanno persino formalizzato automaticamente una dimostrazione da Medaglia Fields con 200.000 righe di codice. Questa tecnologia può verificare automaticamente le dimostrazioni e supportare la ricerca, ma solleva anche preoccupazioni sul fatto che gli esseri umani possano perdere opportunità di apprendimento quando le macchine risolvono i problemi troppo velocemente.
