Le prodezze matematiche dell'IA: crisi di fiducia o nuova era di scoperte?

Il panorama della scienza fondamentale sta cambiando sotto i nostri piedi, in particolare nella matematica, dove le recenti scoperte dell'IA stanno facendo più che risolvere problemi; stanno provocando una 'crisi esistenziale' tra le menti umane che un tempo detenevano il solo dominio sul pensiero astratto. Per decenni, l'IA in matematica è stata in gran parte relegata all'assistenza computazionale, un potente calcolatore. Ora, i modelli non commercializzati dei principali attori non stanno solo assistendo, ma stanno generando in modo indipendente prove per enigmi che hanno sconcertato l'umanità per generazioni, costringendoci a rivalutare il nostro ruolo nella ricerca della conoscenza.

Gli ultimi mesi sono stati a dir poco un vortice, in particolare per i matematici. In una serie vertiginosa di annunci, i modelli di intelligenza artificiale hanno affrontato alcune delle sfide più formidabili del settore. In particolare, OpenAI ha annunciato l'8 settembre 2026 la risoluzione di uno dei Problemi per il Millennio più ambiti, l'equazione di Navier-Stokes, che descrive il flusso dei fluidi. Questa svolta, che è ancora in fase di conferma, secondo quanto riferito ha comportato decine di milioni di dollari, 10.000 agenti che hanno lavorato per 88 ore e 17 ore di verifica, producendo una soluzione che dimostra un risultato 'esplosivo' per l'equazione sciencesetavenir.fr.

Questo non è stato un evento isolato. In precedenza, il 20 maggio 2026, OpenAI ha rivelato una confutazione generata dall'IA della congettura di Erdős sulla distanza unitaria, un problema di geometria combinatoria che aveva eluso i matematici dal 1946. Secondo gli esperti, l'IA ha davvero offerto un'idea nuova per trovare questo contro-esempio sciencesetavenir.fr. La società ha continuato la sua serie il 1° agosto 2026, pubblicando 'Dieci progressi in matematica e informatica teorica' raggiunti dal suo modello Astra, inclusa la confutazione della congettura di rigidità di Connes openai.com. Per non essere da meno, concorrenti come Anthropic hanno anche annunciato progressi significativi, con il loro matematico Levent Alpöge che ha scoperto un contro-esempio alla congettura jacobiana (aperta dal 1939) il 19 luglio 2026, e in seguito ha dimostrato l'esistenza di una struttura complessa per la sfera a 6 dimensioni il 23 agosto 2026 sciencesetavenir.fr. L'enorme volume di questi successi, incluse le soluzioni AI a più di 300 problemi in vari campi, è stato descritto come una pietra miliare significativa per l'avanzamento scientifico e il futuro del pensiero matematico.