Storia
27 ott 2026
La tesi di OpenAI sull’ETH entusiasma l’informatica e mette alla prova la scoperta con l’IA
OpenAI sta presentando i suoi ultimi risultati generati dall’IA come ricerca grezza da interpretare apertamente da parte degli accademici, mentre gli informatici accolgono con favore la possibile svolta ma sostengono che un’affermazione di tale portata non possa essere accettata senza un esame collettivo.
Il 16 ottobre 2026, OpenAI afferma che uno dei suoi sistemi ha prodotto una confutazione in linguaggio naturale dell’Ipotesi del Tempo Esponenziale, o ETH, un’assunzione di lunga data sulla difficoltà di risolvere determinati problemi computazionali. L’azienda afferma di aver formalizzato il risultato in Lean il giorno seguente, per poi organizzare una revisione esterna anziché dichiarare una vittoria scientifica definitiva.1
L’ETH ha plasmato centinaia di risultati condizionali di difficoltà nell’informatica. Se l’affermazione regge, potrebbe costringere i ricercatori a rivedere presupposti in campi che vanno dalla teoria dei grafi alla biologia computazionale — e potrebbe riaprire questioni più ampie su P contro NP. OpenAI afferma che la scoperta potrebbe guidare la ricerca di algoritmi più rapidi, pur sottolineando che le conseguenze pratiche restano incerte e richiedono «ulteriori ricerche significative».1
La pubblicazione ha immediatamente messo in luce la tensione nella scienza assistita dall’IA: risultati mozzafiato, ma nessuna scorciatoia per la verifica. OpenAI ha pubblicato i materiali della dimostrazione e ha accettato di finanziare una conferenza dopo che un gruppo guidato da Ryan Williams del MIT e Russell Impagliazzo e Ramamohan Paturi della UC San Diego ha chiesto un esame aperto. L’azienda definisce i manoscritti «dati di ricerca grezzi», non conoscenza scientifica compiuta.1
Williams, che sta contribuendo a organizzare la risposta, ha affermato che alcune parti della dimostrazione sembravano ordinarie — ma «due o tre parti dall’aspetto alieno» lo hanno convinto che «l’intera comunità deve lavorarci insieme».2 Ha anche avvertito che una confutazione credibile potrebbe destabilizzare lavori basati sull’ETH e sollevare interrogativi sul fatto che alcuni sistemi crittografici siano coinvolti, sebbene OpenAI gli abbia detto di non aver riscontrato alcuna falla di sicurezza immediata.
L’episodio arriva mentre i laboratori di frontiera affrontano pressioni che vanno oltre la loro scienza. L’attesa IPO di Anthropic è osservata come un referendum sulla tenuta del boom dell’IA, dopo una più ampia ondata di vendite e timori per gli enormi investimenti nelle infrastrutture.3 Per OpenAI, l’annuncio sull’ETH offre un contrappunto sorprendente: la promessa che l’IA possa generare conoscenza fondamentale. Per il mondo accademico, è una prova per capire se quella promessa possa diventare comprensibile, riproducibile e affidabile.