I modelli AI di OpenAI e Anthropic sfidano l'ipotesi del tempo esponenziale
- OpenAI e Anthropic hanno prodotto indipendentemente algoritmi subesponenziali che, secondo loro, confutano l'Ipotesi del Tempo Esponenziale.
- Entrambi i risultati sono stati formalizzati con Lean, ma i ricercatori stanno ancora lavorando per comprendere e scrutinare gli argomenti sottostanti.
- I progressi non risolvono il problema P contro NP né violano le crittografie attualmente in uso.
OpenAI e Anthropic affermano che i loro modelli di IA hanno messo in discussione una visione tradizionale riguardo ai limiti dell'informatica. Se dimostrati veri, questi risultati potrebbero ridefinire la teoria della complessità. Tuttavia, nessuna delle due aziende è riuscita a creare software più veloci o a decifrare le attuali crittografie.
Un'ipotesi di 1999, ora sotto pressione
Russell Impagliazzo e Ramamohan Paturi proposero per la prima volta l'Ipotesi del Tempo Esponenziale (ETH) nel 1999. L'ETH suggerisce che esistono problemi logici specifici che richiedono un tempo computazionale esponenzialmente maggiore man mano che le loro dimensioni aumentano.
I ricercatori hanno basato le loro assunzioni su questo principio per decenni. Secondo OpenAI, il numero di articoli di ricerca che hanno utilizzato l'ETH per dimostrare i limiti computazionali nella teoria dei grafi, nei database, nella biologia computazionale e in altri campi ammonta a centinaia. Se l'ETH risultasse falsa, i ricercatori potrebbero dover rivedere molte di quelle conclusioni.
Due laboratori, due confutazioni
Il 26 ottobre, OpenAI ha annunciato che il suo modello di IA ha fornito una prova che mette in discussione l'ETH. Questo annuncio faceva parte di un rilascio più ampio che includeva risultati nel campo dell'analisi armonica e della teoria quantistica dei campi. Il metodo di formalizzazione Lean dimostra la validità di un algoritmo subesponenziale, sebbene il documento allegato fornisca una prova teorica più forte.
Solo poche ore dopo, Anthropic ha presentato le proprie scoperte. Si dice che Claude abbia scoperto un algoritmo deterministico in grado di risolvere il problema 3-SAT in tempo inferiore all'esponenziale, secondo quanto dichiarato dall'azienda. Tuttavia, il suo repository ha anche stabilito che la scoperta è ancora solo teorica:
Il risultato è puramente asintotico e non dice nulla sulla risoluzione pratica delle formule.
Sono emerse anche domande sulla ricerca alla base delle scoperte. TechCrunch ha riferito che il matematico di Anthropic Levent Alpöge ha messo in discussione quanto del lavoro di OpenAI si basasse su ricerche esistenti.
Cosa gli esperti possono e non possono verificare
OpenAI ha organizzato un team formato dai pionieri dell'ETH Impagliazzo e Paturi insieme al professore del MIT Ryan Williams per analizzare i risultati. Ha inoltre accettato di sostenere una conferenza e rendere pubblici i propri risultati per ulteriori revisioni.
Williams aveva precedentemente criticato l'ondata di dimostrazioni generate dall'IA, sostenendo che i matematici fossero sommersi dal volume di lavoro da revisionare. Tuttavia, le ultime scoperte di OpenAI lo hanno incuriosito. Parlando con TechCrunch, ha notato che mentre alcune parti della dimostrazione sembravano familiari, altre spiccavano:
“ci sono due o tre parti dall'aspetto alieno”
È qui che diventa importante l'esperienza umana. Lean può verificare se la dimostrazione formale è logicamente solida, ma i ricercatori devono comunque comprendere il ragionamento poco familiare e determinare se potrebbe portare ad algoritmi pratici.
Perché non si tratta di P=NP e di un cifrario compromesso
Smentire l'ETH non risolve la questione P versus NP né espone vulnerabilità nelle crittografie esistenti.
Tuttavia, i detentori di criptovalute hanno buone ragioni per prestare attenzione. Cryptopolitan ha riportato l'avvertimento del ricercatore Ethereum Justin Drake secondo cui la matematica generata dall'IA, incluso il rilascio separato da parte di OpenAI di 722 manoscritti, potrebbe alla fine minacciare le firme digitali.
Per ora, questo rimane un monito, non una violazione dimostrata.
A luglio, Claude Mythos Preview di Anthropic ha migliorato un attacco a HAWK, un candidato per la firma post-quantistica, dopo 60 ore di ricerca. Nessun sistema implementato è stato interessato.
Una gara nella ricerca sull'IA senza una linea d'arrivo in vista
Lo State of AI 2026 descrive una crescente gara tra Anthropic, OpenAI e Google.
Le misurazioni interne di Anthropic mostrano che Claude ha svolto il 26% del lavoro di R&D sui modelli tracciati ad agosto, in aumento rispetto a meno dell'1% di febbraio. Nel frattempo, l'AI Security Institute britannico segnala che la durata di determinate attività di cybersecurity completabili dall'IA si sta raddoppiando circa ogni otto mesi.
L'IA sta aiutando i ricercatori a fare scoperte più velocemente. Ma un progresso matematico non porta automaticamente a un software migliore. Anche se l'ETH venisse confutata, potrebbero essere necessari anni per sviluppare algoritmi pratici. I ricercatori umani hanno ancora molto lavoro da svolgere.
I cervelli più intelligenti del crypto leggono già la nostra newsletter. Vuoi unirti a loro? Unisciti a loro.
Domande frequenti
Cos'è l'Ipotesi del Tempo Esponenziale?
Si tratta di una congettura proposta da Russell Impagliazzo e Ramamohan Paturi nel 1999, che sostiene che determinati problemi di soddisfacibilità booleana richiedono un tempo che cresce in modo esponenziale rispetto al numero di variabili; è stata citata in centinaia di articoli sulla complessità computazionale.
La confutazione dell'ETH significa che la crittografia è compromessa?
No. Williams ha dichiarato che OpenAI ha verificato se il suo risultato indebolisse i sistemi crittografici ed era "abbastanza fiduciosa" che nulla fosse diventato insicuro, mentre la propria confutazione di Anthropic afferma che si tratta puramente di un risultato asintotico senza effetti pratici.
Come sono state verificate le dimostrazioni?
Entrambi i laboratori affermano che le loro confutazioni sono state verificate in Lean, un linguaggio formale per dimostrazioni che controlla ogni passo logico, e OpenAI ha pubblicato la sua dimostrazione grezza su GitHub affinché un gruppo di esperti esterni potesse esaminarla.
Disclaimer. Le informazioni fornite non costituiscono consulenza finanziaria. Cryptopolitan.com non si assume alcuna responsabilità per eventuali investimenti basati sulle informazioni presenti in questa pagina. Si raccomanda vivamente di effettuare ricerche autonome e/o consultare un professionista qualificato prima di prendere qualsiasi decisione di investimento.
Ibiam Wayas
Ibiam Wayas si occupa di notizie sul crypto dal 2019. Si è laureato in Informatica presso l'Open University of Nigeria. I suoi lavori sono apparsi su varie piattaforme di notizie crypto, tra cui Coinfomania, Crypto News Australia e AltcoinBuzz. Sfruttando il suo background in Informatica, ora si concentra su notizie relative a crypto, robotica e longevità.
