OpenAI tvrdí, že vyriešila Navier–Stokesa. Verdikt: POTREBUJE KONTROLU.
OpenAI tvrdí, že interný model, spustený ako približne 10 000 súbežných agentov po dobu 88 hodín, vytvoril Lean-overený dôkaz, že Navier–Stokesove rovnice explodujú v konečnom čase — problém miléniovej ceny otvorený od roku 1934.
OpenAI tvrdí, že interný model, spustený ako približne 10 000 súbežných agentov po dobu 88 hodín, vytvoril Lean-overený dôkaz, že Navier–Stokesove rovnice explodujú v konečnom čase — problém miléniovej ceny otvorený od roku 1934. Dvanásť hodín predtým Tristan Buckmaster z NYU zverejnil štvorstranové vyhlásenie o tom, ako prebehol nedeľný telefonát s OpenAI („Prečo by si si ničil kariéru?“), Terence Tao napísal, že otvorené problémy sa teraz ťažia ako neobnoviteľný zdroj, a výskumník z Anthropic pretrainingu rezignoval kvôli pretekom. Tiež: Meta vydáva Muse, osobného agenta s vlastným VM. Verdikt: POTREBUJE KONTROLU.
Prečítajte si písanú edíciu (anglicky) ↗
Čo toto video pokrýva
- OpenAI: explózia Navier–Stokes, ~10 000 agentov, 88 hodín, 130B výstupných tokenov, Lean-overené
- Buckmaster a Alpöge: rok na rovnakom prístupe, fáma a nedeľný telefonát s dvoma ponukami
- Terence Tao: „dokonca aj fáma o tom, že niekto pracuje na probléme, môže spustiť masívne úsilie poháňané AI na jeho vyriešenie“
- Jacob Coxon rezignuje z Anthropic: obe laboratóriá „pretekajú rovno k samo-zdokonaľujúcej sa superinteligencii“
- Meta vydáva Muse: osobného agenta na vlastnom cloudovom VM, v WhatsApp, len v USA
Preložený prepis
Preložené z pôvodného anglického rozprávania. Dostupný zvuk a titulky sú kontrolované službou YouTube.
0:00 Včera OpenAI oznámila, že jej AI vyriešila problém miléniovej ceny, otvorený deväťdesiat rokov, za milión dolárov, za osemdesiatosem hodín, a dvaja matematici, ktorí strávili rok rovnakým problémom, sa o tom dozvedeli v nedeľnom telefonáte, ktorý podľa jedného z nich zahŕňal: prečo by si si ničil kariéru? Bol to dlhý pondelok. Na úsvite profesor z NYU zverejnil štvorstranové vyhlásenie; šestnásťsto bodov na Hacker News. Popoludní OpenAI zverejnila dôkaz.
0:26 Večer Terence Tao povedal, že otvorené problémy sa teraz ťažia ako neobnoviteľný zdroj, a cez noc výskumník z Anthropic rezignoval na X, štyridsaťštyri miliónov zobrazení, pretože obe laboratóriá, citujem, hazardujú s našimi životmi. Meta tiež vydala osobného agenta, ktorý žije v WhatsApp a má svoj vlastný počítač. V tomto videu: dôkaz, telefonát, poznámka pod čiarou, a veta, ktorú chce Terence Tao, aby si laboratóriá vypočuli.
0:49 Je streda, 9. septembra, a toto je The Daily Diff. Najprv matematika. Navier–Stokes popisuje, ako sa pohybujú tekutiny, a od roku 1934 nikto nevedel, či hladká 3D tekutina môže dosiahnuť singularitu: rýchlosť, ktorá sa v konečnom čase stane nekonečnou. Systém OpenAI hovorí áno. Začnite v pokoji, aplikujte hladkú silu, udržujte energiu konečnú, a vír sa špirálovito stáča dovnútra ako špagety, kým sa rýchlosť nezvýši. Výroky C a D formulácie Clay, v Lean,
1:16 sedemnásť hodín Astra na overenie. Takže tekutiny môžu explodovať, čo vedel každý, kto rozlial kávu na MacBook, ale teraz je to v Lean. Ako: OpenAI má nový interný model, ktorý nazýva výrazne schopnejším ako Astra, a 1. septembra sa k nim dostala fáma, že boli vyriešené dva problémy milénia, takže ho nasmerovali na každý otvorený problém. Skupina Navier–Stokes: približne desaťtisíc súbežných agentov, sto tridsať miliárd výstupných tokenov; tristo miliárd pre všetky
1:42 problémy. Pri cenníkových cenách Astra, pätnásť miliónov dolárov tokenov za milión dolárovú cenu, ktorú OpenAI podľa nich nebude nárokovať, a pri takejto marži, kto by. Druhá strana. Tristan Buckmaster z NYU a Levent Alpöge, ktorý pracuje v Anthropic, strávili rok presadzovaním prístupu od Córdobu a Martíneza-Zoroa s Claude a Codex, platiac OpenAI z Buckmasterových vlastných výskumných fondov. 15. augusta dosiahli explóziu pre Eulerove rovnice; Buckmaster nazýva prvý LLM dôkaz najhorornejším, aký kedy čítal,
2:10 a bol overený v Lean 22. augusta. Potom sa rozšírila fáma a 3. septembra poslal e-mail OpenAI: sme to my, je to osobné, čoskoro zverejníme. V nedeľu o 12:45 OpenAI požiadala o stretnutie kedykoľvek dnes, a pripojil sa Sébastien Bubeck. Buckmasterovi bolo povedané, že model dokázal vynútené Navier–Stokesove rovnice s veľmi malým ľudským vstupom, čo sa počas hovoru zmenilo na celý tím, najprv ľahšie problémy, prompt napísaný Codexom a šialené množstvo
2:36 výpočtov. Spýtal sa, kedy bol odoslaný prvý prompt. Nakoniec: v posledných dňoch, potom, čo sa informácie o našej práci dostali do OpenAI. Nasledovali dve ponuky. Jedna: vy zverejníte Euler, my zverejníme Navier–Stokes na druhý deň. Dva: Buckmaster sám napíše dôkaz OpenAI, a povedal, že Bubeck dvakrát chcel Alpögeho preč z článku, pretože pracuje v Anthropic. Odmietol a povedal, že to zverejní. Odpoveď, podľa vyhlásenia: prečo by si si ničil kariéru,
3:00 potom: ak nechceš, aby som bol milý, nemusím byť milý. Normálne je to veta tesne pred tým, ako sa konská hlava objaví v posteli. Verzia OpenAI: nikto nevidel ich prácu, neboli prístupné žiadne užívateľské dáta, a, poznámka pod čiarou, nemôžu vylúčiť, že deidentifikované dáta z používania ich produktov profesormi pomohli zlepšiť model. Recenzia Alpögeho: česť im za to, že vyšli s pravdou von. Sam Altman hovorí, že všetci konali s integritou a veľkorysosťou a druhý tím
3:25 hrozil nepodloženými obvineniami z plagiátorstva, napísaného s jedným i. Takže oficiálne stanovisko: neskopírovali sme vašu domácu úlohu, počuli sme, že robíte domácu úlohu. Terence Tao označil výsledok profesorov za pozoruhodný a poznamenal, že mu ho Buckmaster vysvetlil telefonicky, osviežujúca zmena oproti komunikačným modalitám založeným na AI. Potom štyri príspevky: dobré otvorené problémy sa teraz ťažia ako neobnoviteľný zdroj, dokonca aj fáma o tom, že niekto pracuje na jednom, spúšťa masívne úsilie AI na jeho vyriešenie, takže motiváciou je prestať zdieľať smery výskumu,
3:55 čo mení stáročia otvorenej vedy. Tri skupiny zverejnili explóziu tekutín za jeden víkend; ďalší článok môže byť NDA. To je nálada, do ktorej Jacob Coxon rezignoval: tri roky pretrainingu v OpenAI, potom Anthropic; žiadna spoločnosť nekoná zodpovedne, hovorí, obe sa rútia k samo-zdokonaľujúcej sa superinteligencii, a konečná hra by nemala byť spustená zo Slacku súkromnej spoločnosti. Štyridsaťštyri miliónov zobrazení, v deň, keď jedno laboratórium poslalo desaťtisíc agentov na fámu,
4:21 takže vlákno bolo odoslané so živou ukážkou. Medzitým Meta vydala Muse: osobného agenta na vlastnom cloudovom VM s vlastným prehliadačom, a rozprávate sa s ním v WhatsApp. Len v USA, väčšina vecí zadarmo. Meta sľubuje verziu, ktorú ani Meta nebude môcť čítať, neskôr tento rok, veľmi špecifický spôsob opisu tohto roka. Najlepší komentár na Hacker News: Nechcem takto zdieľať svoj život s Metou. Druhý: stále sa mi snaží predať kočík.
4:45 Ak si to radšej prečítate, ako by ste ma počúvali, The Daily Diff príde do vašej schránky každé ráno — zadarmo na the daily diff dot dev, odkaz nižšie. Takže — dnešný verdikt: potrebuje kontrolu. Dôkaz sa skompiluje; príbeh nie. Desaťtisíc agentov, ktorí vyriešia deväťdesiatročný problém za víkend, je výsledok schopností roka; oznámiť to nedeľným telefonátom dvom ľuďom, od ktorých ste sa o tom dozvedeli, nie je.
5:07 A to je rozdiel pre dnešok. Som Niko z Axrisi. Spájajte zodpovedne.
Zdroje
- OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
- OpenAI Lean formalizationgithub.com
- Tristan Buckmaster, statement (PDF)cims.nyu.edu
- HN: Buckmaster statementnews.ycombinator.com
- HN: OpenAI postnews.ycombinator.com
- Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
- Terence Tao: open problems mined non-renewablymathstodon.xyz
- HN: Tao threadnews.ycombinator.com
- Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
- GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
- Jacob Coxon's resignation threadx.com
- HN: I resigned from Anthropic todaynews.ycombinator.com
- Meta: Introducing Museabout.fb.com
- Museai.meta.com
- HN: Musenews.ycombinator.com
