Riassunto:
Anche il mondo teorico dei computer è stato bombardato dall'intelligenza artificiale! La scorsa notte, l'intelligenza artificiale ha attraversato completamente il fiume Rubicone della ricerca scientifica e ha iniziato ufficialmente a "ribaltare" la costruzione della conoscenza umana. OpenAI ha sganciato bombe nucleari nei tre campi principali dei computer teorici, della matematica pura e della fisica teorica:
Questa potrebbe essere la novità tecnologica più esplosiva di quest'anno, se non una di queste.
Claude ha addirittura affermato senza mezzi termini che, se questi risultati saranno confermati, questo sarà il giorno più importante nella storia della matematica e dell'informatica teorica.
Tra questi, la svolta matematica è fortemente correlata al precedente lavoro del vincitore della medaglia Fields Wang Hong sulla congettura di Kakeya, mentre la svolta fisica potrebbe essere la più importante delle tre e potrebbe risolvere i problemi lasciati dal vincitore del Premio Nobel Chen Ning Yang.
Questa volta parlerò di una svolta nel campo dei computer: l'ipotesi del tempo esponenziale non regge.
Secondo Claude, questo è un risultato dirompente a livello del Premio Turing che "se l'affermazione è corretta, questo cambierà l'informatica".
Sebastien Bubeck, attuale ricercatore di OpenAI, ex vicepresidente dell'intelligenza artificiale di Microsoft e illustre scienziato, ha elogiato questo evento come "la più grande sorpresa che abbia visto negli ultimi 20 anni".
Inoltre, lo stesso giorno, due IA hanno annunciato questa svolta quasi contemporaneamente!
OpenAI e Anthropic, due giganti dell'intelligenza artificiale, hanno annunciato quasi contemporaneamente che i loro modelli interni avevano ribaltato l'"ipotesi del tempo esponenziale" (ETH) che ha dominato l'informatica teorica per 27 anni!
Ciò che è ancora più terrificante è che nel documento scaricato da Anthropic era chiaramente indicato che l'algoritmo principale era stato costruito dal modello interno Claude
Zero intervento umano
dedotto in modo indipendente date le circostanze.Questo articolo, che potrebbe entrare nella storia della scienza umana, ha l'unico autore firmato, Claude.
Il "cielo" nel mondo teorico dei computer è caduto. Cosa significa questo?
Per dirla semplicemente, nel 1999,
Ipotesi del tempo esponenziale (ETH)
Proposto da Russell Impagliazzo e Ramamohan Paturi, Università della California, San Diego.Puoi pensarlo come un lucchetto a combinazione con n interruttori, che è il problema 3SAT.
Per mezzo secolo, innumerevoli cervelli estremamente intelligenti hanno fatto del loro meglio per sbloccare la serratura, ma nessuno può rompere una cosa:
Il tempo per aprire la serratura aumenterà sempre "esponenzialmente" con l'aumentare del numero di interruttori.
Ad esempio, supponiamo che un lucchetto debba essere riempito con n numeri, ciascun numero compreso tra 1 e 9. Ogni posizione ha 9 scelte, quindi ci sono 9ⁿ possibilità in totale, ovvero 9 volte n volte.
Possiamo risolvere questo puzzle esaurendo tutte le 9ⁿ possibilità. Ma questo metodo è estremamente inefficiente: per un Sudoku che richieda la compilazione di n = 100 numeri, anche utilizzando tutti i computer del mondo, bisognerebbe attendere che il sole si raffreddi.
Si è cercato a lungo, senza successo, di trovare algoritmi il cui tempo di esecuzione cresca più lentamente di 9ⁿ con n.
Nel 1999, gli studiosi hanno tradotto questa intuizione collettiva in un'ipotesi formale:
Non esiste un algoritmo temporale sub-esponenziale per 3SAT.
Puoi migliorare leggermente la velocità, ma non supererai mai questo "muro esponenziale". Questo è come "la velocità della luce non può essere superata" in fisica.
Questa congettura è stata proposta per più di 20 anni. In passato, centinaia di articoli sono stati utilizzati per studiare i limiti inferiori di complessità di vari problemi informatici basati sulla creazione di ETH.
Molti studi, dalla teoria dei grafi e dall'ottimizzazione combinatoria ai database e alla biologia computazionale, si basano su questo presupposto.
Se l'ipotesi di Riemann venisse ribaltata, la colpa sarebbe della teoria dei numeri; se ETH verrà ribaltato, ciò sarà dovuto alla complessità e agli algoritmi parametrizzati.
Il peso di ETH non ha raggiunto "
P vs NP
"O il livello del millennio dell'ipotesi di Riemann.Ma è più forte e più specifico di P≠NP: se si stabilisce ETH, si può derivare P≠NP; ma se ETH viene ribaltato non si può ricavare P=NP.
Un gran numero di conclusioni condizionali di ricerca che si basano sull'ETH devono essere rivalutate.
È emersa una nuova serie di "vittime" nel campo dell'intelligenza artificiale——
C'è anche un amico nel gruppo. Un articolo da lui scritto in precedenza si basava sulla premessa della fondazione dell'ETH.
Ora questa premessa potrebbe essere scomparsa e la conclusione del documento deve essere riesaminata.
Immagina di aver trascorso diversi anni a studiare un problema, a scrivere articoli e a fare dimostrazioni, e che persino gli studiosi in un campo studiano questa ipotesi da più di 20 anni (come il professor Tuli).
Un giorno, un modello di intelligenza artificiale ti dice che la premessa a cui tutti hanno sempre creduto potrebbe essere sbagliata.
Attraversare il Rubicone della ricerca scientifica: autore unico Claude
Immediatamente si verificò una scena drammatica.
Il presidente di OpenAI Greg Brockman ha appena pubblicato un annuncio ufficiale e il suo vecchio rivale Anthropic ha appena pubblicato un articolo con lo stesso titolo.
Era così aggressivo che si è schiantato sul posto!
Anthropic ha detto: guarda caso, non è così. Il nostro modello interno Claude è stato rilasciato il
16 ottobre
Ha ribaltato in modo indipendente ETH!
Inoltre, Anthropic ha lasciato una "dichiarazione della fonte" sulla pagina del giornale:
L'algoritmo principale è stato scoperto il 16 ottobre da un modello di ricerca interno di Claude, consumando 14 milioni di token di output senza alcun input umano.
Ciò significa che
L'intelligenza artificiale ha completamente attraversato il fiume Rubicone della ricerca scientifica
——Non è più uno strumento umano, ma è diventato il vero "primo autore".Qual è il concetto di 14 milioni di token? Un volume completo de "Il problema dei tre corpi" contiene circa 900.000 parole. 14 milioni di gettoni equivalgono a Claude che deduce più di una dozzina di spesse bozze di "Il problema dei tre corpi" in un fiato.
Dopo la valutazione, molti eminenti studiosi hanno affermato: ciò equivale a un modello di intelligenza artificiale che completa la ricerca scientifica di uno o due anni di un ricercatore post-dottorato di alto livello in pochi giorni senza mangiare, bere o dormire.
!Negli ultimi giorni, Claude ha esplorato da solo il percorso, ha dedotto da solo le formule, ha verificato da solo la logica e ha persino utilizzato strumenti matematici impopolari oltre i confini, e alla fine ha presentato una prova davanti all'umanità.
Questa volta non è "L'intelligenza artificiale aiuta i matematici a ricercare la letteratura", né "L'intelligenza artificiale ha risposto correttamente a una domanda delle Olimpiadi".
Questa è l'intelligenza artificiale che, da sola, fa breccia nelle discipline teoriche più radicali e pure dell'umanità.
Il fondatore è stato svegliato durante la notte e il matematico si è trasformato in un "auditor" per perdere peso velocemente
L'IA lo ribalta se dice di averlo ribaltato? Potrebbe essere che l'intelligenza artificiale stia "parlando seriamente di sciocchezze (allucinazioni)"?
Accadde la scena più magica. Per dimostrare la loro innocenza, le due società non si sono limitate a diffondere un PDF, ma hanno anche divulgato il
codice di prova formale Lean
.Lean è un "revisore elettronico altruista". Anche se c'è un salto logico, segnalerà direttamente un errore. Poiché il codice può funzionare senza intoppi, significa che la logica sottostante blocca quasi la possibilità di errori. Consegnare documenti “verificabili dalla macchina” è la fiducia inconfutabile dell’intelligenza artificiale.
Ma questo non conferma pienamente la correttezza della dimostrazione.
I due fondatori della congettura dell'ETH, Russell Impagliazzo e Ramamohan Paturi, sarebbero stati invitati urgentemente a fare coming out.
Ventisette anni fa, due studiosi scrissero una congettura; 27 anni dopo, furono svegliati per verificare come un'intelligenza artificiale lo avesse ribaltato.
Questa è probabilmente l'emozione più complicata della storia accademica.
Attualmente, questi due esperti stanno collaborando con i migliori team del MIT e di altre università per condurre una revisione riga per riga dei loro codici.
Contemporaneamente, anche un altro fronte avanza rapidamente.
Di fronte a questa prova "aliena" di oltre 60 pagine prodotta dall'intelligenza artificiale, è estremamente difficile per il cervello umano leggere.
Shiva Kintali, Senior AI Architect di NVIDIA, è intervenuto da un giorno all'altro e ha compresso il certificato di falsificazione ETH originale di 60 pagine di OpenAI in una versione semplificata di 22 pagine!
Ha eliminato i passaggi noiosi dell'intelligenza artificiale e non ha perseguito il fattore logaritmico ottimale. Ha solo cercato di falsificare in modo netto le affermazioni di base e ha aggiunto esempi di calcolo.
Ha un solo obiettivo:
"Lasciare che i colleghi umani capiscano veramente."
Ora appare uno spettacolo accademico senza precedenti:
L'intelligenza artificiale ha il compito di affrontare problemi difficili: in pochi giorni apre una porta che nessuno ha aperto in 27 anni;
Gli esseri umani sono responsabili della digestione: perfezionare le lunghe deduzioni dell'intelligenza artificiale in conoscenze che gli esseri umani possono comprendere e continuare a portare avanti.
Ora tocca agli esseri umani valutare e semplificare i compiti dell'intelligenza artificiale.
Il "cambiamento soggetto-oggetto" della ricerca scientifica di base
Già nel marzo 2023, OpenAI ha pubblicato un sensazionale "Rapporto di previsione sull'impatto dell'intelligenza artificiale sul mercato del lavoro". In questo elenco, la persona in cima alla lista
"I lavori più colpiti dall'intelligenza artificiale" è sorprendentemente un matematico
.
A quel tempo, la maggior parte delle persone si faceva beffe di questo: la matematica richiede la logica più rigorosa degli esseri umani. Come può un'intelligenza artificiale che parla così tanto di imbrogliare essere in grado di fare matematica teorica?
Tuttavia, esattamente tre anni dopo, quando ETH è stato falsificato dall'intelligenza artificiale da un giorno all'altro, la congettura di Kakeya è stata infranta da modelli uno dopo l'altro...
Questo proiettile sparato tre anni fa ha finalmente colpito l'obiettivo della ricerca teorica umana.
Ciò significa che gli scienziati perderanno collettivamente il lavoro? No.
Come ha osservato tre anni fa Weijie Su, ex studente e studioso dell'Università di Pechino:
L'intelligenza artificiale non "sostituirà" semplicemente e grossolanamente qualsiasi campo, ma lo rimodellerà. La futura ricerca scientifica ricompenserà notevolmente coloro che riusciranno a stabilire connessioni profonde con le sfide del mondo reale e con altre discipline.
Proprio come dopo l'invenzione della macchina fotografica, i pittori non hanno più bisogno di competere tra loro per "chi dipinge più simile a uno", così sono nati l'impressionismo e l'arte moderna.
Quando l'intelligenza artificiale assume il duro lavoro di "calcolo e prova", gli esseri umani possono finalmente spendere la loro preziosa energia su questioni più fondamentali:
cercare la prossima domanda che vale la pena esplorare e stabilire connessioni di vita reale tra le discipline.
27 anni fa, quando i due studiosi scrissero la congettura dell'ETH, non avrebbero mai immaginato che non sarebbero stati gli esseri umani a metterla fine.
Inaspettatamente, due IA avrebbero consegnato l'esame lo stesso giorno.
"Il mondo non viene cambiato dall'intelligenza artificiale, ma è già stato cambiato."
Commenti