Appena un giorno dopo che OpenAI ha reso disponibile al pubblico il suo modello più potente, la società afferma che il sistema ha prodotto una dimostrazione completa della congettura della doppia copertura del ciclo, un celebre problema aperto nella teoria dei grafi che ha resistito ai matematici per circa mezzo secolo.

Il ricercatore di OpenAI Ethan Knight ha annunciato il risultato il 10 luglio 2026, pubblicando che GPT-5.6 Sol Ultra "ha prodotto una prova della congettura della doppia copertura del ciclo vecchia di 50 anni utilizzando 64 subagenti in poco meno di un'ora". L'affermazione è rapidamente salita in cima a Hacker News, attirando centinaia di commenti da matematici e ingegneri che discutono se la dimostrazione regge.

Per chiunque segua gli ultimi sviluppi dell’intelligenza artificiale, il risultato è una dimostrazione sorprendente di dove stanno andando i modelli di frontiera – e un promemoria che le loro affermazioni matematiche devono ancora essere verificate alla vecchia maniera.

Cos'è la congettura della doppia copertura del ciclo?

La congettura si trova in una branca della matematica chiamata teoria dei grafi. In parole povere, pone una domanda apparentemente semplice: possono i bordi di qualsiasi grafo “senza ponti” – uno senza bordo la cui rimozione lo dividerebbe in due – essere sempre coperti da una raccolta di cicli in modo che ogni singolo bordo appaia esattamente due volte?

Il problema fu posto indipendentemente da diversi matematici nel corso degli anni, tra cui Paul Seymour nel 1979 e George Szekeres nel 1973, con radici precedenti nel lavoro di W. T. Tutte e di Alon Itai e Michael Rodeh. Nonostante la sua semplice affermazione, divenne uno dei problemi irrisolti più noti nel campo e i risultati parziali erano noti solo per classi speciali di grafici.

Secondo la nota di dimostrazione pubblicata da OpenAI, l'argomentazione riduce il problema a grafi cubici senza ciclo, quindi si appoggia su un risultato classico - il teorema del flusso zero da nessuna parte sul gruppo F32 (equivalente al teorema degli 8 flussi di Tutte) - e un passaggio chiave di algebra lineare che converte un'etichettatura degli spigoli nella struttura necessaria per una doppia copertura del ciclo. L'articolo è lungo solo poche pagine e, in particolare, non utilizza "nessuna matematica sviluppata negli ultimi 30 anni", come ha osservato un commentatore di Hacker News.

Come si è avvicinato GPT-5.6 Sol Ultra

Ciò che distingue questo risultato dalle normali risposte dei chatbot è il modo in cui il modello è stato implementato. GPT-5.6 Sol Ultra funzionava nella modalità "multiagent v2" di OpenAI, avviando un sistema composto da un massimo di 64 subagenti cooperanti che esploravano diverse strategie di prova in parallelo. OpenAI ha rilasciato il messaggio completo insieme alla prova, offrendo uno sguardo raro alle istruzioni fornite al sistema.

La richiesta indicava al modello di "utilizzare multiagent v2 in modo aggressivo e dinamico", di mantenere un "portafoglio diversificato di approcci" e di implementare agenti avversari per verificare qualsiasi prova candidata per individuare trappole comuni, come percorsi chiusi mascherati da cicli o ragionamento circolare accidentale. Ha anche detto al sistema di "dedicare almeno 8 ore a questo compito prima anche solo di pensare di tornare o di arrendersi", anche se secondo quanto riferito la corsa finale è stata completata in meno di un'ora.

Nella sezione "Dichiarazione sull'uso dell'intelligenza artificiale" della nota di prova, OpenAI è esplicito: "La prova in questa nota è interamente dovuta a GPT 5.6 Sol Ultra e alla recensione con Codex (con GPT 5.6 Sol)."

Non tutti ne sono ancora convinti

La comunità matematica ha reagito con un misto di entusiasmo e cautela – e questo scetticismo è ben riposto. Al momento della pubblicazione, la dimostrazione non è stata formalmente verificata in un assistente di prova come Lean, né ha superato la tradizionale revisione tra pari.

Su Hacker News, diversi commentatori hanno notato che dimostrazioni brevi ed eleganti di congetture famose meritano un esame particolarmente attento. "È una dimostrazione molto breve che non utilizza la matematica sviluppata negli ultimi 30 anni", ha scritto un utente. "Il che non lo rende necessariamente sbagliato, ma in assenza di meccanizzazione in Lean o di un'adeguata revisione tra pari, penso che sia prematuro pubblicare questo post."

Altri hanno sottolineato che le principali librerie di prove formali della teoria dei grafi non sono ancora abbastanza mature per verificare risultati di questo tipo a livello di ricerca, il che significa che la verifica potrebbe dover provenire da esperti umani che leggono l'argomento riga per riga. La stessa OpenAI ha inquadrato l'annuncio come parte di uno schema più ampio: "Più tempi di calcolo portano a una maggiore intelligenza", ha affermato la società, segnalando che l'approccio multiagente - non questo singolo risultato - è la vera storia che vuole raccontare.

Perché è importante

Anche se la dimostrazione del Cycle Double Cover alla fine necessita di una correzione, l’episodio segnala un cambiamento significativo in ciò che i modelli linguistici di grandi dimensioni possono fare nella matematica pura. I sistemi di intelligenza artificiale di frontiera hanno già prodotto nuovi risultati di ricerca in domini specializzati – comprese altre recenti affermazioni di problemi risolti in geometria e combinatoria – ma attaccare una congettura vecchia di decenni con uno sciame coordinato di agenti di ragionamento alza considerevolmente il livello.

Per i ricercatori, il risultato è duplice. In primo luogo, la ricetta multiagente – molti tentativi indipendenti, contaminazione incrociata di idee e audit contraddittorio – sembra essere un modello veramente utile per la difficile risoluzione dei problemi. In secondo luogo, il collo di bottiglia della verifica ora ricade direttamente sugli esseri umani: il modello può generare prove candidate più velocemente di quanto la comunità possa controllarle.

È probabile che questa tensione definisca la prossima fase della matematica assistita dall’intelligenza artificiale. Come ha affermato un commentatore, se questa prova regge, "qualcuno sta per iniziare un elenco" di altri problemi di vecchia data da lanciare alla prossima generazione di modelli.

Per ora, i matematici leggeranno attentamente la nota di tre pagine - matita in mano - mentre il resto del settore dell'intelligenza artificiale guarderà per vedere se il lavoro di un'ora di GPT-5.6 diventerà parte del record matematico permanente.

Stai al passo con l'intelligenza artificiale

Per ulteriori informazioni sulle scoperte dei modelli di frontiera e sulla copertura della ricerca sull'intelligenza artificiale, visitare la home page di AI Buzz Wire.

Leggi altre notizie sull'IA →