Tre lettere hanno reso meno chiaro il significato di un annuncio scientifico: ETH. Nel lavoro presentato da OpenAI non indicano Ethereum, ma l’«ipotesi del tempo esponenziale», una congettura sulla difficoltà di alcuni problemi di calcolo. L’azienda afferma che i suoi modelli ne hanno trovato una confutazione. Sarebbe un risultato teorico di grande rilievo, ma valutarlo non significa limitarsi a leggere il titolo del manoscritto.
Il dossier pubblicato nell’ottobre 2026 permette di distinguere l’affermazione di OpenAI, l’algoritmo descritto e il lavoro di comprensione avviato dai ricercatori. Permette anche di scartare due conclusioni affrettate: questo annuncio non risolve P contro NP e non fornisce, da solo, una ricetta per violare la sicurezza delle criptovalute.
Un problema di regole da soddisfare
Il problema studiato consiste nell’assegnare valori «vero» o «falso» a delle variabili, rispettando un insieme di vincoli. Una variabile può comparire direttamente o negata. Nel caso chiamato 3-SAT, ogni clausola contiene al massimo tre di questi elementi; occorre rendere vere simultaneamente tutte le clausole.
Per farsi un’idea del numero di possibilità, immaginiamo degli interruttori a due posizioni. Dieci interruttori consentono 1 024 configurazioni; venti ne consentono 1 048 576. L’esempio illustra la crescita del numero di combinazioni, non il tempo effettivo di esecuzione di un software: un algoritmo può evitare di esaminarle tutte.
L’ipotesi ETH, quindi, non dice semplicemente che occorre provare tutte le configurazioni. Pone un limite più generale: non sarebbe possibile risolvere tutti i casi di 3-SAT in un tempo subesponenziale rispetto al numero di variabili. Migliorare la base di una crescita esponenziale non basta a confutarla. Occorre superare un’altra soglia nel modo in cui cresce il tempo di calcolo.
Questa precisazione cambia il significato dell’annuncio. Non si tratta soltanto di un programma un po’ più veloce su esempi difficili. Il manoscritto rivendica un metodo la cui complessità contraddice la congettura stessa.
Cosa sostiene il manoscritto
Nella sua versione del 25 ottobre, il testo di 67 pagine presenta un algoritmo deterministico: il suo funzionamento non dipende da estrazioni casuali. L’algoritmo mira a contare esattamente le assegnazioni che soddisfano una formula, per clausole la cui dimensione massima è fissata in anticipo. Quest’ultima condizione è importante: il parametro che descrive tale dimensione non è lasciato libero di crescere senza vincoli insieme al problema.
Contare le soluzioni permette anche di stabilire se ne esista almeno una. Se il numero ottenuto è nullo, la formula non è soddisfacibile; se è positivo, lo è. È questo passaggio dal conteggio alla decisione che collega il risultato annunciato a ETH.
Il manoscritto annuncia un tempo subesponenziale e un uso polinomiale della memoria. Queste qualificazioni descrivono la crescita delle risorse al crescere della dimensione degli input. Non indicano un tempo in secondi per una macchina specifica. Un comportamento teoricamente migliore su scala molto ampia può comunque comportare costi troppo elevati per problemi comuni.
Questa distinzione evita di promettere prematuramente un’applicazione pratica: il documento presenta un risultato matematico rivendicato, non un’applicazione disponibile la cui velocità sia stata misurata in questa sede. Dal solo riassunto non si può dedurre alcun vantaggio pratico per i software usati dal lettore.
Una prova formale non sostituisce ogni spiegazione
Nella sua presentazione del 26 ottobre, OpenAI afferma che i suoi modelli hanno trovato la confutazione il 16 ottobre e che il 17 è seguita una formalizzazione in Lean. Lean è un assistente di dimostrazione: permette di rappresentare enunciati e ragionamenti in un linguaggio verificabile da un software. L’azienda ha pubblicato il manoscritto e gli elementi formali affinché siano esaminati.
Un dispositivo del genere offre un’importante possibilità di verifica. Resta tuttavia necessario capire quale enunciato sia stato formalizzato, secondo quali definizioni e in che modo corrisponda alla rivendicazione scientifica. Verificare un file, interpretare il teorema e spiegare il suo interesse sono attività collegate, ma diverse. Leggere un articolo di presentazione non significa averle svolte.
Per il lettore, la sfida è non scegliere tra fiducia automatica e rifiuto automatico. Il modo giusto di affrontare il risultato è individuare ciò che viene annunciato e i passaggi che consentono ad altri specialisti di ricostruirlo.
I ricercatori distinguono l’esame dalla certificazione
Russell Impagliazzo, Ramamohan Paturi e Ryan Williams hanno presentato un’iniziativa di esame e discussione. Nella loro lettera del 26 ottobre precisano che la loro partecipazione non equivale a certificare la rivendicazione. Sottolineano l’importanza di una comprensione che altri ricercatori possano ricostruire, mettere in discussione e utilizzare.
Questo approccio è particolarmente utile per un risultato presentato come prodotto dall’IA. La provenienza del testo non dispensa dal rendere comprensibile la dimostrazione. Una scoperta diventa utilizzabile quando le sue condizioni, i suoi limiti e le idee che la rendono possibile possono essere spiegati anche al di là del primo dossier di pubblicazione.
Questo non significa che tutti i lavori precedenti basati su ETH perdano ogni interesse. Un’implicazione condizionale può restare corretta anche se la sua ipotesi di partenza viene rimessa in discussione. Il suo uso come argomento di difficoltà, invece, deve essere rivalutato alla luce del risultato effettivamente stabilito.
Né P contro NP, né uno strumento per violare la sicurezza
Il manoscritto precisa che il risultato non implica un algoritmo subesponenziale per tutti i problemi della classe NP. Il modo in cui si traduce un problema in un altro può aumentarne la dimensione: quindi, un limite favorevole in una formulazione non si trasferisce automaticamente a tutte le altre.
Non dimostra nemmeno che ogni problema la cui soluzione può essere verificata in modo efficiente possa anche essere risolto in modo efficiente, la questione nota come P contro NP. «Subesponenziale» non significa «polinomiale», e ancor meno «istantaneo».
L’annuncio merita quindi di essere seguito per la sua specifica proposta scientifica. Per valutarne il contributo, i prossimi elementi utili saranno spiegazioni dell’algoritmo che altri possano ricostruire, un chiarimento delle sue conseguenze e, separatamente, eventuali metodi utilizzabili nella pratica. In questo caso, la sigla ETH apre una questione di complessità, non emette un verdetto su Ethereum.
Foto illustrativa: una discussione davanti a una lavagna di matematica. Le persone ritratte non sono indicate come autori o esaminatori del risultato.
Crediti: Yan Krukau — Pexels, licenza Pexels.
