OpenAI ha risolto un problema matematico di 80 anni senza un modello specializzato

Il modello di ragionamento generale di OpenAI ha appena infranto una congettura di 80 anni nella geometria discreta. Il sistema non è stato addestrato per fare matematica. Gira sulla stessa architettura che redige e-mail e scrive Python, e martedì ha prodotto una nuova famiglia di configurazioni geometriche che quattro matematici hanno ora verificato.

Il problema ha un enunciato ingannevolmente semplice. Prendiamo n punti su un piano. Quante coppie possono trovarsi esattamente alla stessa distanza l’una dall’altra, diciamo a un’unità? Paul Erdős pose la domanda nel 1946 e propose una soglia superiore: dell’ordine di n elevato a (1 più o(1)), una scorciatoia per dire “appena più che lineare”. Per decenni le migliori configurazioni note venivano da varianti della griglia quadrata, e la griglia toccava quasi quel soffitto. I matematici al lavoro trattavano la soglia come essenzialmente stretta.

Il modello di OpenAI non ha stretto la soglia. L’ha rotta. Il sistema ha prodotto un’intera famiglia di disposizioni di punti con almeno n elevato a (1 più δ) coppie a distanza unitaria, per un δ fisso maggiore di zero. Non è un raffinamento; è un controesempio alla pretesa centrale della congettura. Will Sawin, uno dei quattro matematici che hanno rivisto il lavoro, ha raffinato il nuovo esponente in un’espressione pulita. Thomas Bloom, Melanie Wood e Noga Alon, il resto della squadra di verifica, hanno confermato che la costruzione regge.

Ti potrebbe interessare ancheAnthropic compra Stainless e chiude la pipeline SDK che usava OpenAI

Ciò che colpisce del metodo è che non è arrivato da dentro la geometria. Il modello è passato alla teoria algebrica dei numeri, estendendo gli interi gaussiani ad altri campi di numeri algebrici e trattando i punti del reticolo risultante come configurazioni candidate. Quel ponte, la geometria tirata dentro la teoria dei numeri, era il salto che gli umani avevano mancato per otto decenni. È il tipo di mossa che, in un seminario di matematica, ottiene un cenno lento e un lungo silenzio.

Le reazioni dei matematici al lavoro sono arrivate nel primo giorno. Timothy Gowers, Medaglia Fields, l’ha definito “il primo esempio davvero chiaro di un’IA che risolve un problema matematico davvero noto”. Alexander Wei, ricercatore di OpenAI, ha scritto che il risultato è di quelli che un revisore degli Annals of Mathematics accetterebbe “senza alcuna esitazione”. Quest’ultima affermazione è verificabile. La dimostrazione è stata pubblicata come PDF, con un documento di note di accompagnamento, e la più ampia comunità matematica sta leggendo.

Il quadro a cui OpenAI si appoggia è che questa è la prima volta in cui un sistema di IA risolve in modo autonomo un problema aperto di rilievo e centrale per un campo della matematica. Il verbo “autonomamente” fa molto lavoro qui. Il modello ha prodotto la costruzione; la prova è stata vagliata, raffinata e messa sotto stress da quattro matematici in carne e ossa prima di qualsiasi annuncio. La distinzione conta, perché OpenAI è già passata di qui.

Nell’ottobre 2025 l’azienda fece circolare l’affermazione che un altro modello interno avesse risolto dieci problemi aperti posti da Erdős. Nel giro di giorni, i matematici mostrarono che parecchie di quelle “soluzioni” erano già note oppure semplicemente sbagliate. OpenAI ritirò l’affermazione complessiva. Quell’episodio è il motivo per cui l’annuncio di questa settimana mette in testa i nomi dei verificatori e non il nome del modello. I quattro matematici sono la garanzia.

L’altro dettaglio da tenere a mente è quale tipo di modello ha prodotto il risultato. OpenAI non ha rivelato il nome del sistema, solo che si tratta di un modello di ragionamento generale, la stessa famiglia che regge le chat, scrive codice e risponde ai ticket dell’assistenza clienti. Non c’è alcuna variante specializzata in matematica nel circuito. La stessa architettura che gestisce le conversazioni quotidiane ha gestito questo. L’implicazione è che il collo di bottiglia per la matematica guidata dall’IA non era un modello calibrato per la matematica. Potrebbero essere stati calcolo e pazienza.

Che quel collo di bottiglia salti è la vera storia. A lungo l’ipotesi di lavoro tra i ricercatori è stata che la matematica autenticamente originale avrebbe richiesto sistemi su misura: dimostratori di teoremi, framework di verifica formale, modelli stretti addestrati su un corpus di prove. Quello che è atterrato martedì è un altro tipo di evidenza. Un ragionatore puntato su un problema famoso, irrisolto, di ottant’anni; con abbastanza spazio per pensare, ha prodotto qualcosa che Sawin, Bloom, Wood e Alon hanno concordato fosse corretto. Il tratto tra una finestra di chat ed Erdős è risultato più breve del previsto.

Letture consigliateDue punti sotto Opus 4.6, cinque volte più economico: Gemini 3.5 Flash rifà i conti

Qualche cautela rimane. Il modello non è disponibile pubblicamente. Gruppi indipendenti fuori dal panel iniziale di quattro matematici leggeranno la prova nelle prossime settimane, e il processo completo di peer review per gli Annals o un’altra rivista di primo livello richiederà mesi. L’esponente δ è piccolo. La costruzione non risolve il problema delle distanze unitarie sulla sfera né in dimensioni superiori. Niente di tutto questo riduce ciò che è successo martedì. Lo colloca.

A cambiare è l’aspettativa. Un anno fa la domanda sull’IA in matematica era se questi sistemi potessero mai produrre dimostrazioni originali di peso. Da questa settimana, la domanda è quale sia il prossimo problema aperto a cadere, e se i matematici che verificano le prove continueranno a essere accreditati come Alon e i suoi colleghi qui.

Una congettura del 1946 è uno di quegli oggetti silenziosi che aspettano su uno scaffale che arrivi la mano giusta a tirarli giù. La mano che l’ha tirata giù questa settimana girava su un cluster di GPU, non era stata addestrata per quel lavoro, e ha finito il compito mentre quattro matematici guardavano.