Una prova prodotta dall'intelligenza artificiale e annunciata all'inizio di questo mese come parte di una serie di 377 risultati matematici derivati dall'intelligenza artificiale sta conquistando gli esperti umani che hanno trascorso le ultime due settimane a smontarla. In un articolo del 19 ottobre, Quanta Magazine ha riferito che i teorici dei numeri hanno ora svelato la prova generata dall’intelligenza artificiale dell’ipotesi quasi-Riemann – una versione più debole dell’ipotesi di Riemann, probabilmente la più grande questione aperta in matematica – e il loro verdetto è insolitamente enfatico.
Jared Duker Lichtman della Stanford University lo ha definito "il risultato più significativo ottenuto finora nel campo dell'intelligenza artificiale per la matematica, con un bel margine". Maksym Radziwiłł della New York University, il cui lavoro è alla base di parti della dimostrazione, ha descritto le implicazioni come “sconcertanti”. Per maggiori informazioni su questa storia, consulta la nostra tendenze IA.
Cosa sostiene l'ipotesi Quasi-Riemann
L’ipotesi di Riemann è aperta da più di 160 anni. Riguarda la funzione zeta di Riemann e la posizione dei suoi zeri non banali, ed è intimamente connessa al modo in cui i numeri primi sono distribuiti tra gli interi. Poiché i numeri primi sono gli elementi costitutivi dell’aritmetica, una dimostrazione rimodellerebbe vaste aree della teoria dei numeri.
L'ipotesi è uno dei sette problemi del Premio del Millennio nominati dal Clay Mathematics Institute, ed è stato l'unico problema ripreso dalla famosa lista di 23 problemi di David Hilbert annunciata un secolo prima.
Lo scheletro tecnico, come espone Quanta, è stato mappato passo dopo passo per generazioni. Riemann dimostrò nel 1859 che gli zeri non banali della funzione zeta governano il modo in cui i numeri primi si assottigliano lungo la linea numerica e dimostrò che possono trovarsi solo all'interno di una striscia verticale dove la parte reale dell'input si trova tra zero e uno. Nel 1896, due matematici dimostrarono indipendentemente che sul bordo destro della striscia non si trovano zeri: un risultato abbastanza forte da dimostrare il teorema dei numeri primi. L'ipotesi stessa dice che tutti gli zeri non banali si trovano esattamente sulla linea mediana della striscia, dove la parte reale è uguale alla metà. Gli zeri banali sugli interi pari negativi sono già pienamente compresi. Più di 160 anni di sforzi hanno ristretto e sondato quella striscia senza mai fissare gli zeri.
L'ipotesi quasi-Riemann, o quasi-RH, è un'affermazione strettamente più debole. Anche così, le sue conseguenze arrivano quasi altrettanto lontano. "In un certo senso, la stragrande maggioranza delle conseguenze della RH derivano già dalla quasi-RH", ha detto Radziwiłł a Quanta.
Dall'annuncio alla verifica
Il risultato è emerso per la prima volta il 6 ottobre, quando OpenAI ha annunciato 377 risultati matematici derivati con i suoi sistemi di intelligenza artificiale. Tra i matematici professionisti, l’annuncio ha inizialmente incontrato un moderato scetticismo: i sistemi di intelligenza artificiale hanno precedentemente prodotto dimostrazioni dichiarate che sono crollate sotto il controllo degli esperti, e la verifica è stata a lungo il collo di bottiglia che separa la matematica generata dall’intelligenza artificiale dalla matematica accettata.
Secondo il rapporto di Quanta, questa prova è diversa: a differenza di altre recenti prove di intelligenza artificiale, questa è stata decomposta da esperti umani. Teorici dei numeri tra cui Radziwiłł, Alexander Dunn del Georgia Institute of Technology e altri hanno lavorato sull'argomento sin dall'annuncio, verificandone i passaggi e situandolo all'interno delle conoscenze esistenti.
I controlli hanno retto. "La prova è una sintesi sorprendente di idee ben note", ha detto Dunn, che insieme a Radziwiłł ha aperto la strada alle tecniche su cui si basa in parte il risultato.
Vecchie idee, connessioni nascoste
Forse l’aspetto più sorprendente della dimostrazione, hanno detto i matematici a Quanta, è ciò che non richiedeva. Contrariamente alle aspettative secondo cui la soluzione anche di una forma indebolita dell’ipotesi di Riemann avrebbe richiesto macchinari fondamentalmente nuovi, la prova prodotta dall’intelligenza artificiale non ha introdotto nuovi concetti. Invece, ha portato alla luce connessioni nascoste tra quelle già consolidate, combinando tecniche in un modo che nessun essere umano aveva mai messo insieme.
Questo modello – novità attraverso sintesi inaspettate piuttosto che attraverso una nuova teoria – sta emergendo come una firma della scoperta matematica assistita dall’intelligenza artificiale, e sta spingendo i ricercatori a riconsiderare dove è più probabile che il contributo delle macchine alla matematica arrivi per primo.
Perché è importante per la ricerca sull'intelligenza artificiale
Il risultato verificato rappresenta una pietra miliare per l’intelligenza artificiale per la matematica, un campo che ha registrato una rapida accelerazione con il miglioramento dei modelli di ragionamento. L'annuncio di OpenAI del 6 ottobre, di cui abbiamo parlato quando l'Institute for Advanced Study ha sollevato domande sul lotto di risultati, è stata la più grande rivendicazione singola di matematica derivata dall'intelligenza artificiale fino ad oggi. La prova quasi-RH è il primo risultato di quel lotto a ricevere una lettura dettagliata da parte di un esperto ed è sopravvissuta.
Per i laboratori di intelligenza artificiale, l’episodio dimostra un flusso di lavoro che potrebbe diventare standard: i modelli producono prove candidate su larga scala e gli esperti umani selezionano, verificano e assorbono i risultati che contano. Per i matematici, la conseguenza immediata è più ristretta ma reale: un insieme di conseguenze dell’ipotesi di Riemann che non necessitano più della congettura completa per essere valide.
Quanta osserva che i matematici stanno appena iniziando a capire cosa significa la dimostrazione per questo campo. Come ha affermato Radziwiłł, le implicazioni sono “sconcertanti” – un aggettivo raramente associato a un risultato che si ferma al di sotto dell’ipotesi completa.
L'episodio costituisce anche un punto di riferimento per affermazioni future. Qualsiasi laboratorio di intelligenza artificiale che annunci scoperte matematiche sarà ora misurato rispetto al quasi-RH: un risultato dichiarato che è stato controllato, verificato e accettato dagli stessi esperti nella posizione migliore per confutarlo.
Niente di tutto ciò risolve l’ipotesi di Riemann in sé. La congettura completa rimane aperta e la quasi-RH è strettamente più debole. Ma per la prima volta, un sistema di intelligenza artificiale ha prodotto una dimostrazione alla frontiera della teoria analitica dei numeri che i principali specialisti del settore hanno analizzato e approvato: un fatto che potrebbe dire tanto sul futuro della ricerca matematica quanto il teorema stesso.
Questo articolo si basa su un articolo di Quanta Magazine, pubblicato il 19 ottobre 2026.
---
Rimani Aggiornato sull'IALe ultime notizie, analisi e scoperte sull'intelligenza artificiale — tutto in un posto.
Leggi altre notizie sull'IA →
