Mentre noi passiamo il tempo a cercare di far compilare un kernel custom o a lottare con le dipendenze di una libreria Python che sembra uscita da un incubo di Lovecraft, in qualche laboratorio della Silicon Valley è successo qualcosa che dovrebbe far tremare le fondamenta della logica tradizionale.
Non parlo del solito aggiornamento che ti rende solo più bravo a scrivere email di marketing o a generare immagini di gattini cyberpunk. Parlo di GPT-5.6 Sol Ultra che, con una nonchalance che definire inquietante è poco, ha prodotto una prova formale della ‘Cycle Double Cover Conjecture’. Per chi non mastica la teoria dei grafi come se fosse il proprio pane quotidale, si tratta di un problema di matematica combinatoria che ha tenuto in scacco i cervelli più brillanti del pianeta per decenni.
Sì, avete letto bene. Non è un’allucinazione del modello (almeno non questa volta). Il paper, che è già circolato su Hacker News come un virus ben scritto, mostra come l’architettura Sol Ultra sia riuscita a navigare in un labirinto di teoremi e strutture logiche così complesse da far sembrare il codice di un sistema legacy scritto in COBOL una passeggiata in giardino.
La cosa che mi fa scattare la scintilla dell’entusiasmo non è solo il risultato in sé — che è, matematicamente parlando, una figata atomica — ma il potenziale di quello che abbiamo davanti. Siamo passati dal ‘chatbot che recita poesie’ al ‘motore di scoperta scientifica’. È quel momento in cui la tecnologia smette di essere un giocattolo per nerd e diventa uno strumento di hacking della realtà stessa.
Ovviamente, come sempre, c’è un retrogusto amaro che non possiamo ignorare. Siamo di fronte a una potenza di calcolo e di ragionamento che risiede dietro i muri blindati di una singola corporation. Mentre noi qui in Italia ci interrociamo su come regolamentare l’AI senza soffocare l’innovazione, il vero problema è che la chiave di questa nuova era della conoscenza è custodita in un ecosistema chiuso, inaccessibile, dove il ‘black box’ non è più solo un termine tecnico per descrivere i pesi di una rete neurale, ma diventa un recinto invalicabile attorno alla scoperta scientifica stessa.
Possiamo celebrare la risoluzione di una congettura storica? Assolutamente sì. È un trionfo della computazione. Ma restiamo con i piedi per terra e gli occhi aperti: quando la capacità di risolvere l’irrisolvibile diventa un asset proprietario, il confine tra progresso e monopolio della verità diventa sottile come un filo di rame.
Source: GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]