OpenAI dimostra che ETH è falso, e Crypto Twitter ha domande

OpenAI afferma che ETH è falso, e Crypto Twitter ha reagito esattamente come ci si aspetterebbe. "Cavolo, i trader algoritmici hanno appena massacrato $ETH," ha postato un utente chiamato Takumi su X, mentre Andrew Jiang ha commentato: "Vitalik è stato davvero silenzioso da quando è uscito questo."

Ma calmatevi, degens, l'ETH in questione è l'Exponential Time Hypothesis, una congettura di informatica del 1999 che non ha nulla a che fare con Ethereum, il suo prezzo o il co-fondatore Vitalik Buterin. Quindi, ragazzi della crypto, potete respirare.

OpenAI ha pubblicato un documento di 67 pagine affermando che la sua intelligenza artificiale ha trovato un modo per aggirare l'ipotesi, e le persone che l'hanno proposta stanno ora controllando il lavoro.

Gli scienziati informatici Russell Impagliazzo e Ramamohan Paturi hanno proposto l'ETH con Francis Zane, e afferma che un classico rompicapo logico chiamato 3-SAT (trovare impostazioni vere o false che soddisfano un insieme di regole, tre opzioni alla volta) non può essere risolto molto più velocemente che provando ogni combinazione. Centinaia di articoli assumono questo per dimostrare che i problemi nella teoria dei grafi, nella biologia computazionale, nei database e nella geometria non possono essere risolti rapidamente, secondo OpenAI.

Myriad: Dove va ETH adesso? Clicca per fare la tua previsione.

In altre parole, l'ETH è una mappa di ciò che i computer probabilmente non faranno mai velocemente, e OpenAI afferma che il suo modello l'ha appena ridisegnata. "La confutazione dell'ETH riapre domande su quanto più velocemente questi compiti potrebbero diventare," ha scritto l'azienda nel suo blog, "e potrebbe aiutare a guidare la ricerca di algoritmi migliori."

Il documento, datato 17 ottobre e rivisto il 25 ottobre, descrive un algoritmo deterministico (uno senza casualità) che conta ogni assegnazione soddisfacente di tali rompicapi in tempo subesponenziale, il che significa che il lavoro cresce più lentamente di qualsiasi esponenziale nel numero di variabili. Contare le soluzioni è più difficile che decidere se una esiste, quindi il lavoro più difficile porta con sé quello più facile gratuitamente.

OpenAI afferma che la sua intelligenza artificiale ha trovato la confutazione il 16 ottobre e che è stata formalizzata in Lean, un software che verifica ogni passo logico meccanicamente, il 17 ottobre. Entrambi sono disponibili su GitHub, lo stesso percorso delle sue 722 manoscritti matematici all'inizio di questo mese, di cui solo 162 presentavano un risultato principale verificato da computer.

Impagliazzo, Paturi e Ryan Williams del MIT guidano l'esame indipendente, e sono cauti riguardo al loro ruolo. "Il nostro coinvolgimento non dovrebbe essere interpretato come una certificazione della rivendicazione," hanno scritto i tre in una lettera aperta, aggiungendo che "un risultato di questa importanza richiede un attento esame indipendente e una comprensione che altri possono ricostruire, mettere in discussione e costruire sopra."

OpenAI afferma che i partecipanti non hanno firmato accordi di non divulgazione e hanno lavorato senza compenso, e l'azienda ha concordato di pubblicare tutti i dati grezzi e finanziare una conferenza sul risultato.

I ritorni pratici sono lontani: "Trovare tali algoritmi e trasformare i progressi teorici in miglioramenti pratici richiederà ulteriori ricerche significative," ha scritto OpenAI. Il documento stesso afferma che il risultato non mostra che ogni problema NP può essere risolto in tempo subesponenziale, quindi P contro NP, la questione se ogni problema con una risposta facile da controllare sia anche facile da risolvere, rimane aperta.

In termini semplici, P è la classe di problemi che i computer possono risolvere in modo efficiente, mentre NP è la classe di problemi le cui soluzioni proposte possono essere verificate in modo efficiente. Quindi P contro NP --- la questione se ogni problema la cui risposta è facile da controllare sia anche facile da risolvere --- rimane aperta.

Anthropic, non volendo perdere le guerre matematiche, ha quindi pubblicato un documento accreditato a Claude intitolato "Un algoritmo di tempo 2^o(n) per 3-SAT" e datato 26 ottobre. Il repository, che affronta anche il problema ETH, afferma che un modello di ricerca interno di Claude ha scoperto l'algoritmo, e "il risultato è puramente asintotico e non dice nulla sulla risoluzione delle formule nella pratica."

OpenAI afferma che un modello segreto di intelligenza artificiale ha risolto centinaia di problemi matematici aperti in un solo prompt---i matematici vogliono ricevute.

Claude ha formalizzato l'Ultimo Teorema di Fermat in Lean a settembre, e Terence Tao ha previsto questo tipo di sovrapposizione. "Abbiamo ora visto che anche il solo rumore di qualcuno che lavora su un problema può innescare una massiccia quantità di sforzi alimentati dall'IA per appiattirlo prima che il progetto di ricerca originale abbia il tempo di raggiungere il suo pieno potenziale," ha scritto il matematico a settembre.

Il recente contributo di OpenAI di 5 milioni di dollari alla Simons Foundation finanzierà workshop, conferenze e programmi speciali per aiutare i ricercatori a esaminare e costruire sui risultati prodotti dall'IA.

Questo contenuto è fornito a solo scopo informativo generale e non costituisce consulenza finanziaria, di investimento, legale o fiscale. Qualsiasi evento, ricompensa, promozione online o informazione correlata menzionata nel presente documento non deve essere considerata una raccomandazione, una sollecitazione o un invito ad acquistare, vendere, fare trading o altrimenti negoziare criptovalute. Le criptovalute sono altamente volatili e possono comportare perdite. La disponibilità dei servizi, dei prodotti e degli eventi correlati di WEEX può variare a seconda della regione. È tua responsabilità assicurarti che la tua partecipazione sia conforme alle leggi e ai regolamenti locali applicabili.