Quanta Magazine: come reagiscono i matematici quando l'IA comincia a dimostrare i teoremi al posto loro

L’8 settembre 2026 OpenAI ha annunciato che i suoi modelli avevano risolto uno dei problemi più famosi della matematica, uno dei «problemi del millennio» per i quali il Clay Mathematics Institute offre un premio di un milione di dollari. Nelle settimane successive l’azienda ha pubblicato in rete centinaia di altri risultati ottenuti con modelli non ancora disponibili al pubblico. Jordana Cepelewicz, che si occupa di matematica per Quanta Magazine, la rivista di divulgazione scientifica della Fondazione Simons, ha passato quei giorni a raccogliere le reazioni di chi fa ricerca in questo campo.

Il quadro che ne esce è quello di una comunità scossa. Scott Aaronson, informatico teorico dell’Università del Texas, dice che i matematici umani hanno perso per sempre il ruolo di principali autori di dimostrazioni e che non si aspetta di dimostrare più alcun teorema nel tempo che gli resta da vivere. Ken Ono, matematico che oggi lavora per una startup di matematica assistita dall’IA, avverte i suoi studenti che potrebbero laurearsi in una professione destinata a non esistere più nella forma che conoscono. Gli studenti dell’Università di Berkeley reagiscono con rabbia e chiedono alle aziende, e ai loro stessi professori, che cosa intendano fare.

Il problema, spiega l’articolo, non riguarda la correttezza dei risultati, ma il modo in cui sono ottenuti. L’IA produce dimostrazioni giuste ma difficili da leggere, che non spiegano perché un risultato sia vero. Per i matematici intervistati, invece, il valore della disciplina è sempre stato nel percorso più che nella risposta: negli strumenti inventati per arrivare alla soluzione, nei collegamenti tra campi diversi, nella comprensione che si costruisce lungo la strada. Se il percorso viene saltato, resta un elenco di verità senza spiegazione.

Le possibili evoluzioni che emergono dalle interviste sono due. La prima è un declino della disciplina, se le università continueranno a premiare la ricerca con i criteri attuali. La seconda è una matematica diversa, in cui il lavoro dei ricercatori consiste nell’interpretare e comunicare i risultati, nel costruire visioni d’insieme e nel comprendere a fondo dimostrazioni prodotte da altri. Nessuno degli intervistati sa dire quale delle due strade prevarrà.

Perché conta

L’articolo non riguarda soltanto la matematica. Racconta il primo caso documentato di una professione intellettuale molto specializzata che vede la macchina arrivare al risultato al posto suo e deve chiedersi che valore abbia il lavoro che resta. Avvocati, analisti, programmatori e ricercatori si troveranno davanti a domande simili, e questo pezzo mostra come una comunità prova ad affrontarle.

«Human mathematicians are forevermore dethroned as the main theorem-proving entities on planet earth.»

I matematici umani sono detronizzati per sempre come i principali dimostratori di teoremi del pianeta.Scott Aaronson, Università del Texas