Non era una nuova matematica complessa. Non proprio. Era testardaggine.
OpenAI ha abbandonato la soluzione alla congettura della doppia copertura del ciclo proprio prima di lanciare il suo modello più recente, GPT-5.6 Sol. I tempi? Puro marketing, ovviamente. L’impatto? Una rivoluzione silenziosa nel modo in cui vediamo l’intelligenza artificiale e cosa può fare. Gli esseri umani si interrogano su questo problema da più di mezzo secolo. GPT-5.6 lo ha risolto dicendomi una cosa specifica: non arrenderti.
Questo fa parte di una tendenza più ampia. I giganti della tecnologia stanno investendo denaro nella matematica pura. Non perché si preoccupino della bellezza fine a se stessa. Ma perché la matematica è il punto di riferimento definitivo. Dimostra il ragionamento. O almeno, la sua versione meccanica.
“Gli strumenti di intelligenza artificiale cambieranno in modo significativo la ricerca matematica.”
— Noga Alon, matematico di Princeton, sulla scoperta del Sole. Alon definì la dimostrazione sorprendentemente breve. Il che lo rende più divertente, secondo me.
Ecco cosa devi sapere La teoria dei grafi sembra astratta, addirittura noiosa. Un grafico è composto semplicemente da punti (vertici) e linee (bordi) che li collegano. Internet? È un grafico. Il tuo social network? Anche un grafico.
Negli anni ’70 i matematici intuirono qualcosa di interessante riguardo a queste forme. Pensavano che quasi ogni grafico avesse una doppia copertura del ciclo. Che cos’è? Una serie di anelli che copre l’intera struttura esattamente due volte. Ogni bordo si trova esattamente all’interno di due anelli.
Abbastanza facile da immaginare.
Dimostrarlo? Ecco dove sono andati i decenni.
Le grandi menti ci hanno provato. L’hanno risolto per casi specifici. Si sono avvicinati. Ma la prova generale? È scivolato via. Ogni volta.
Venerdì scorso è intervenuta l’intelligenza artificiale.
La soluzione si è rivelata elegante. Semplice, quasi. L’intelligenza artificiale ha mostrato che è possibile coprire il grafico con non più di otto cicli. Certo, ci sono degli aspetti tecnici. I grafici tenuti insieme da singoli fili sottili (bordi tagliati) non contano. Ma per il resto? Fatto.
Ecco la svolta.
La dimostrazione non ha utilizzato nuove idee appariscenti. Nessuna teoria rivoluzionaria è nata nei sogni del silicio. Ha riciclato metodi che gli esseri umani avevano già provato. Metodi che abbiamo buttato nella spazzatura o lasciato su uno scaffale perché ci annoiavamo. O spaventato.
Hai mai considerato che “duro” potrebbe significare semplicemente “impopolare”?
Andrew Sutherland del MIT la pensa così. Suggerisce che una reputazione di difficoltà può essere una trappola. Gli studenti si tengono alla larga. Gli esperti vanno avanti. Diventa una profezia di oscurità che si autoavvera. Quando un LLM non ha ego o una carriera di cui preoccuparsi, si limita a scavare.
“Continueremo a vedere problemi apparentemente ‘difficili’ avere soluzioni ‘facili’.”
Sutherland non indovina alla cieca. OpenAI ha rilasciato il prompt utilizzato per risolvere questo problema. Rivela il brutto lavoro meccanico dietro la magia. Il suggerimento non era poesia. Era un’impalcatura. Istruzioni per sessantaquattro agenti di parlare tra loro in parallelo. Controllo incrociato. Mitigare le bugie e le allucinazioni che affliggono questi modelli.
Il vero trucco? La direttiva.
Non hanno solo chiesto una risposta. Hanno detto al bot: Trascorri almeno 8 ore. Non pensare di smettere.
La maggior parte di noi smetterebbe entro la seconda ora. Oppure diremmo: “È impossibile”.
La macchina è rimasta vicino alla tastiera. Otto ore.
Si scopre che il genio potrebbe essere solo la resistenza che siamo troppo stanchi per dare. E ora che l’intelligenza artificiale è qui, forse la biblioteca dei problemi aperti non è una fortezza. È un giardino in cui ci siamo dimenticati di annaffiare i fiori.
