Un modello sviluppato da OpenAI ha recentemente ottenuto un risultato che ha attirato grande attenzione nella comunità scientifica: la confutazione di una storica congettura matematica rimasta irrisolta per circa 80 anni. La notizia, riportata e chiarita da Ars Technica, ha riacceso il dibattito sul ruolo dell’intelligenza artificiale nella ricerca teorica e sulla sua capacità di affrontare problemi considerati a lungo fuori dalla portata dei sistemi automatici.
OpenAI e la svolta nella matematica
Secondo quanto emerso, il modello di OpenAI ha prodotto una dimostrazione capace di ribaltare la cosiddetta congettura della distanza unitaria di Erdős, uno dei problemi più noti della geometria discreta. Il risultato è stato condiviso in anteprima con alcuni matematici, che ne hanno confermato la rilevanza.
Tra le reazioni più significative, quella del matematico Tim Gowers, vincitore della Medaglia Fields, che ha definito la soluzione “un punto di riferimento per la matematica dell’AI“. Anche Daniel Litt, professore all’Università di Toronto, ha sottolineato come si tratti del primo caso in cui un risultato autonomo di un’IA appare rilevante di per sé, e non solo come indicatore di progresso tecnologico.
Nonostante l’entusiasmo, diversi osservatori invitano alla cautela, interpretando il risultato come un’evoluzione graduale più che una rottura improvvisa con il passato.
Il problema di Erdős
La congettura nasce nel 1946 dal matematico Paul Erdős e riguarda la disposizione di punti nel piano e il numero di coppie che possono trovarsi a distanza unitaria. Il problema, semplice nella formulazione ma estremamente complesso nella sua soluzione, ha resistito ai tentativi per decenni.
L’obiettivo era stimare il numero massimo di coppie a distanza 1 tra n punti. Erdős aveva proposto una crescita molto contenuta, ma nessuna dimostrazione definitiva era stata trovata. Nel tempo, la comunità matematica aveva sviluppato solo stime inferiori e superiori, senza riuscire a chiudere il divario.
Il metodo del modello AI
La soluzione proposta dal sistema OpenAI non introduce tecniche completamente nuove, ma combina idee già note in modo particolarmente efficace. Il modello utilizza strutture matematiche più complesse rispetto alla classica griglia bidimensionale, sfruttando anche concetti legati agli interi algebrici e a costruzioni in spazi ad alta dimensione.
Queste configurazioni vengono poi proiettate nel piano, permettendo di ottenere un numero maggiore di distanze unitarie rispetto alle costruzioni tradizionali. In termini matematici, la crescita ottenuta supera le stime precedenti, arrivando a circa n¹·⁰¹⁴, contro i limiti inferiori conosciuti.
Il risultato è stato successivamente analizzato e rifinito da matematici umani, che ne hanno validato la coerenza e ampliato alcune parti.
Reazioni della comunità e significato
Molti matematici hanno interpretato il risultato come un esempio di collaborazione crescente tra uomo e macchina. L’AI mostra infatti una notevole capacità di esplorare molte strategie contemporaneamente e di insistere su percorsi che spesso un ricercatore umano scarterebbe per motivi di efficienza.
Secondo alcuni esperti, questo approccio consente di affrontare problemi estremamente complessi con una prospettiva più ampia, anche se non introduce necessariamente nuove idee teoriche fondamentali.
Resta comunque aperto il dibattito sul fatto che sistemi di questo tipo possano o meno generare innovazioni concettuali autonome.
AI e futuro della matematica
Il risultato ottenuto da OpenAI si inserisce in un contesto di rapida evoluzione dei modelli linguistici applicati alla matematica. Solo pochi anni fa, questi sistemi faticavano con problemi aritmetici di base; oggi sono in grado di contribuire a ricerche avanzate.
Alcuni matematici vedono uno scenario di collaborazione stabile tra intelligenza artificiale e ricercatori, in cui le macchine svolgono il lavoro più ripetitivo e gli esseri umani guidano le intuizioni. Altri, invece, sottolineano che la velocità dei progressi potrebbe rendere difficile prevedere il ruolo futuro dei matematici stessi.
In ogni caso, il caso della congettura di Erdős rappresenta un segnale chiaro: la matematica, oggi, non è più esclusivamente umana.
Fonte: Ars Technica
