OpenAI spune că a rezolvat Navier–Stokes. Verdict: NECESITĂ REVIZUIRE.

Ce acoperă acest videoclip

• OpenAI: explozie Navier–Stokes, ~10.000 de agenți, 88 de ore, 130 de miliarde de tokeni de ieșire, verificat Lean
• Buckmaster și Alpöge: un an pe aceeași abordare, un zvon și un apel de duminică cu două oferte
• Terence Tao: "chiar și zvonul că cineva lucrează la o problemă poate declanșa o cantitate masivă de efort alimentat de inteligența artificială pentru a o rezolva"
• Jacob Coxon demisionează de la Anthropic: ambele laboratoare "se grăbesc direct spre superinteligența auto-îmbunătățitoare"
• Meta lansează Muse: un agent personal pe propria sa VM cloud, în WhatsApp, doar în SUA

Transcrierea tradusă

Tradus din narațiunea originală în engleză. Audio-ul și subtitrările disponibile sunt controlate de YouTube.

0:00 Ieri, OpenAI a anunțat că inteligența sa artificială a rezolvat o problemă a Premiului Mileniului, deschisă de nouăzeci de ani, un milion de dolari, în optzeci și opt de ore, și cei doi matematicieni care au petrecut un an la aceeași problemă au aflat despre asta într-un apel telefonic de duminică care, conform unuia dintre ei, a inclus: de ce ți-ai ruina cariera? A fost o luni lungă. În zori un profesor de la NYU a postat o declarație de patru pagini; șaisprezece sute de puncte pe Hacker News. După-amiaza OpenAI a postat dovada.

0:26 Seara, Terence Tao a spus că problemele deschise sunt acum minate ca o resursă neregenerabilă, și peste noapte un cercetător Anthropic a demisionat pe X, patruzeci și patru de milioane de vizualizări, pentru că ambele laboratoare sunt, citez, jucându-se cu viețile noastre. De asemenea, Meta a lansat un agent personal care trăiește în WhatsApp și are propriul său computer. În acest videoclip: dovada, apelul telefonic, nota de subsol, și propoziția pe care Terence Tao vrea ca laboratoarele să o audă.

0:49 Este miercuri, 9 septembrie, și acesta este The Daily Diff. Mai întâi matematica. Navier–Stokes descrie cum se mișcă fluidele, și din 1934 nimeni nu știa dacă un fluid 3D neted poate atinge o singularitate: viteza devenind infinită într-un timp finit. Sistemul OpenAI spune da. Porniți din repaus, aplicați o forță netedă, mențineți energia finită, și un vârtej spiralează spre interior ca spaghetele până când viteza explodează. Declarațiile C și D ale formulării Clay, în Lean,

1:16 șaptesprezece ore de Astra pentru a verifica. Deci fluidele pot exploda, lucru pe care oricine a vărsat cafea pe un MacBook îl știa, dar acum este în Lean. Cum: OpenAI are un nou model intern pe care îl numește semnificativ mai capabil decât Astra, și pe 1 septembrie au auzit un zvon că două probleme ale Mileniului au fost rezolvate, așa că l-au îndreptat către fiecare problemă deschisă. Grupul Navier–Stokes: aproximativ zece mii de agenți concurenți, o sută treizeci de miliarde de tokeni de ieșire; trei sute de miliarde pentru toate

1:42 problemele. La prețurile de listă Astra, cincisprezece milioane de dolari de tokeni pentru un premiu de un milion de dolari pe care OpenAI spune că nu îl va revendica, și la această marjă, cine ar face-o. Cealaltă parte. Tristan Buckmaster la NYU și Levent Alpöge, care lucrează la Anthropic, au petrecut un an împingând o abordare a lui Córdoba și Martínez-Zoroa cu Claude și Codex, plătind OpenAI din fondurile de cercetare proprii ale lui Buckmaster. Pe 15 august au obținut o explozie pentru ecuațiile Euler; Buckmaster numește prima dovadă LLM cea mai oribilă pe care a citit-o vreodată,

2:10 și a fost verificată în Lean pe 22 august. Apoi un zvon s-a răspândit, iar pe 3 septembrie i-a trimis un e-mail lui OpenAI: suntem noi, este personal, vom posta curând. Duminică la 12:45 OpenAI a cerut să se întâlnească în orice moment al zilei, și Sébastien Bubeck s-a alăturat. Lui Buckmaster i s-a spus că modelul a dovedit Navier–Stokes forțat cu foarte puțină contribuție umană, ceea ce în timpul apelului a devenit o întreagă echipă, probleme mai ușoare mai întâi, un prompt scris de Codex, și o cantitate nebună de

2:36 putere de calcul. El a întrebat când a fost trimis primul prompt. În cele din urmă: în ultimele zile, după ce informații despre munca noastră au ajuns la OpenAI. Au urmat două oferte. Unu: tu postezi Euler, noi postăm Navier–Stokes a doua zi. Doi: Buckmaster singur redactează dovada OpenAI, și, spune el, Bubeck a vrut de două ori ca Alpöge să nu mai apară pe lucrare pentru că lucrează la Anthropic. El a refuzat și a spus că va ieși în public. Răspunsul, conform declarației: de ce ți-ai ruina cariera,

3:00 apoi: dacă nu vrei să fiu drăguț, nu trebuie să fiu drăguț. De obicei, replica chiar înainte ca un cap de cal să apară într-un pat. Versiunea OpenAI: nimeni nu le-a văzut munca, nu s-au accesat date ale utilizatorilor, și, notă de subsol, nu pot exclude că datele de-identificate din utilizarea produselor lor de către profesori au contribuit la îmbunătățirea modelului. Recenzia lui Alpöge: felicitări pentru că au fost sinceri. Sam Altman spune că toată lumea a acționat cu integritate și generozitate și cealaltă echipă

3:25 a amenințat cu acuzații nefondate de plagiat, scris cu un singur i. Deci poziția oficială: nu ți-am copiat tema, am auzit că îți făceai tema. Terence Tao a numit rezultatul profesorilor remarcabil și a notat că Buckmaster i l-a explicat la telefon, o schimbare revigorantă față de modalitățile de comunicare bazate pe AI. Apoi, patru postări: problemele deschise bune sunt acum minate ca o resursă neregenerabilă, chiar și un zvon că cineva lucrează la una declanșează un efort masiv de AI pentru a o rezolva, așa că stimulul este de a înceta să mai împărtășim direcții de cercetare,

3:55 inversând secole de știință deschisă. Trei grupuri au postat explozia fluidelor într-un weekend; următoarea lucrare poate fi un acord de confidențialitate. Aceasta este starea de spirit în care Jacob Coxon a demisionat: trei ani de preantrenare la OpenAI, apoi Anthropic; niciuna dintre companii nu acționează responsabil, spune el, ambele se grăbesc spre superinteligența auto-îmbunătățitoare, iar rezultatul final nu ar trebui lansat de pe Slack-ul unei companii private. Patruzeci și patru de milioane de vizualizări, în ziua în care un laborator a pus zece mii de agenți pe un zvon,

4:21 așa că firul a fost livrat cu o demonstrație live. Între timp, Meta a lansat Muse: un agent personal pe propria sa VM cloud cu propriul său browser, și vorbești cu el în WhatsApp. Doar în SUA, gratuit pentru majoritatea lucrurilor. Meta promite o versiune pe care nici măcar Meta nu o poate citi, mai târziu anul acesta, un mod foarte specific de a descrie anul acesta. Cel mai bun comentariu Hacker News: Nu vreau să-mi împart viața cu Meta în acest fel. Al doilea: încearcă în continuare să-mi vândă un cărucior.

4:45 Dacă preferați să citiți asta decât să mă auziți spunând-o, diff-ul ajunge în căsuța dvs. poștală în fiecare dimineață — gratuit la the daily diff dot dev, link mai jos. Deci — verdictul de azi: necesită revizuire. Dovada compilează; povestea nu. Zece mii de agenți care închid o problemă veche de nouăzeci de ani într-un weekend este rezultatul de capacitate al anului; anunțarea acestuia printr-un apel telefonic de duminică către cele două persoane de la care ați auzit despre asta nu este.

5:07 Și asta e diff-ul pentru azi. Sunt Niko de la Axrisi. Îmbină responsabil.

Surse

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com