AI e ingegno umano potrebbero inaugurare una nuova fase della ricerca matematica. Nel maggio 2026 OpenAI ha annunciato un risultato che ha attirato l’attenzione dell’intera comunità scientifica: la congettura della distanza unitaria, uno storico problema aperto, è stata risolta grazie all’impiego dell’intelligenza artificiale generativa. Da quel momento sono stati pubblicati numerosi altri lavori che sfruttano, in misura totale o parziale, strumenti di AI per affrontare problemi matematici avanzati.
Tuttavia, secondo Trefor Bazett, professore di matematica dell’Università della Victoria, la maggior parte delle nuove ricerche continua ancora oggi a essere sviluppata dai matematici. La domanda che molti si pongono è quindi se l’AI finirà per dominare questo settore oppure se diventerà un potente alleato della creatività umana.
La soluzione della congettura della distanza unitaria
La congettura della distanza unitaria appartiene alla teoria geometrica dei grafi ed era stata proposta nel 1946. Rientrava inoltre tra i celebri problemi formulati dal matematico ungherese Paul Erdős, autore nel corso della sua carriera di centinaia di quesiti irrisolti che ancora oggi rappresentano una sfida per i ricercatori.
La soluzione ottenuta nel 2026 non è stata il primo successo dell’intelligenza artificiale in matematica, né il primo problema di Erdős affrontato con questi strumenti, ma è stata senza dubbio una delle conquiste più significative. Dopo decenni di tentativi falliti, l’AI è riuscita a elaborare una dimostrazione di un problema considerato tra i più importanti della disciplina.
Umani e AI costruiscono insieme nuovi risultati
Uno degli aspetti più sorprendenti di questa scoperta riguarda ciò che è accaduto subito dopo. I matematici che hanno studiato la dimostrazione prodotta dall’intelligenza artificiale sono riusciti ad adattarne la tecnica principale per risolvere, appena una settimana più tardi, un’altra importante questione aperta: la cosiddetta congettura somma-prodotto.
Questo episodio mostra come il contributo dell’AI non sostituisca necessariamente quello umano. Al contrario, le intuizioni generate dagli algoritmi possono diventare la base sulla quale i ricercatori sviluppano nuove idee e ottengono ulteriori progressi, proprio come le scoperte moderne si fondano sul lavoro svolto dalle generazioni precedenti.
Una combinazione di tecnologie sempre più avanzate
L’intelligenza artificiale rappresenta soltanto uno degli strumenti oggi a disposizione dei matematici. Da decenni i computer supportano la ricerca scientifica, sia nelle applicazioni pratiche sia nella matematica pura, dove alcune dimostrazioni possono raggiungere dimensioni enormi, arrivando persino all’ordine dei petabyte.
Un ruolo importante è svolto anche dai sistemi di verifica formale delle dimostrazioni, linguaggi informatici che consentono di controllare in modo rigoroso ogni passaggio logico di una prova matematica. In un recente lavoro preliminare dedicato alla teoria di Ramsey, i ricercatori hanno combinato strumenti computazionali, verifica automatica, intelligenza artificiale e intuizione umana per ottenere un nuovo risultato. Dopo lunghe analisi computazionali, l’AI ha individuato uno schema generale, ne ha dimostrato la validità e ha contribuito alla conversione della dimostrazione nei sistemi di verifica.
Per gli autori dello studio, questa collaborazione tra diverse tecnologie potrebbe segnare l’inizio di una “nuova età dell’oro” della matematica.
I limiti attuali dell’intelligenza artificiale
Nonostante i progressi, le capacità dell’AI restano molto variabili. Alcuni settori, come la teoria dei grafi, sembrano particolarmente adatti all’impiego dell’intelligenza artificiale, mentre altri continuano a opporre una forte resistenza.
Per ogni problema risolto esistono infatti moltissimi altri sui quali gli algoritmi non riescono ancora a ottenere risultati significativi. È il caso dei sei Problemi del Millennio ancora irrisolti, per i quali il Clay Mathematics Institute offre un premio di un milione di dollari a chi riuscirà a trovare una dimostrazione. Al momento, queste sfide sembrano essere tanto lontane dalle capacità dell’AI quanto da quelle dei matematici.
Il futuro della matematica resta una sfida condivisa
È impossibile prevedere con certezza quanto rapidamente cresceranno le capacità dell’intelligenza artificiale nei prossimi anni. Se i progressi dovessero continuare, la ricerca matematica potrebbe cambiare profondamente entro cinque o dieci anni.
Gli esempi osservati finora suggeriscono però una direzione precisa: uomini e AI possono lavorare insieme, sfruttando i punti di forza di entrambi per raggiungere risultati che, singolarmente, sarebbero molto più difficili da ottenere. Rimangono anche le preoccupazioni di molti studenti e ricercatori, che temono un futuro in cui l’AI possa sostituire il lavoro umano. Secondo quanto emerge dallo stato attuale della ricerca, però, non siamo ancora vicini a questo scenario.
Fonte: Asia Times
