OpenAI říká, že vyřešila Navier–Stokes. Verdikt: POTŘEBUJE PŘEZKUM.
OpenAI říká, že interní model, spuštěný jako asi 10 000 souběžných agentů po dobu 88 hodin, vypracoval Lean-ověřený důkaz, že rovnice Navier–Stokes vybuchnou v konečném čase – problém Miléniové ceny otevřený od roku 1934.
OpenAI říká, že interní model, spuštěný jako asi 10 000 souběžných agentů po dobu 88 hodin, vypracoval Lean-ověřený důkaz, že rovnice Navier–Stokes vybuchnou v konečném čase – problém Miléniové ceny otevřený od roku 1934. Dvanáct hodin předtím, Tristan Buckmaster z NYU zveřejnil čtyřstránkové prohlášení o tom, jak probíhal nedělní telefonát s OpenAI ("Proč byste si ničil kariéru?"), Terence Tao napsal, že otevřené problémy jsou nyní těženy jako neobnovitelný zdroj, a výzkumník Anthropic pretrainingu rezignoval kvůli závodu. Také: Meta SHIP IT Muse, osobního agenta s vlastním VM. Verdikt: POTŘEBUJE PŘEZKUM.
Přečtěte si psané vydání (anglicky) ↗
Co toto video pokrývá
- OpenAI: výbuch Navier–Stokes, ~10 000 agentů, 88 hodin, 130B výstupních tokenů, Lean-ověřeno
- Buckmaster a Alpöge: rok na stejném přístupu, fáma a nedělní hovor se dvěma nabídkami
- Terence Tao: "dokonce i fáma, že někdo pracuje na problému, může vyvolat masivní úsilí poháněné AI k jeho zploštění"
- Jacob Coxon rezignuje z Anthropic: obě laboratoře "závodí přímo k samo-zdokonalující se superinteligenci"
- Meta SHIP IT Muse: osobní agent na vlastním cloudovém VM, ve WhatsApp, pouze USA
Přeložený přepis
Přeloženo z původního anglického vyprávění. Dostupné audio a titulky jsou řízeny YouTube.
0:00 Včera OpenAI oznámila, že její AI vyřešila problém Miléniové ceny, otevřený devadesát let, za milion dolarů, za osmdesát osm hodin, a dva matematici, kteří strávili rok na stejném problému, se o tom dozvěděli během nedělního telefonátu, který podle jednoho z nich zahrnoval: proč byste si ničil kariéru? Bylo to dlouhé pondělí. Za úsvitu profesor z NYU zveřejnil čtyřstránkové prohlášení; šestnáct set bodů na Hacker News. Odpoledne OpenAI zveřejnila důkaz.
0:26 Večer Terence Tao řekl, že otevřené problémy jsou nyní těženy jako neobnovitelný zdroj, a přes noc rezignoval výzkumník Anthropicu na X, čtyřicet čtyři milionů zhlédnutí, protože obě laboratoře, cituji, hazardují s našimi životy. Také, Meta SHIP IT osobního agenta, který žije ve WhatsApp a má svůj vlastní počítač. V tomto videu: důkaz, telefonát, poznámka pod čarou, a věta, kterou chce Terence Tao, aby laboratoře slyšely.
0:49 Je středa, 9. září, a toto je The Daily Diff. Nejprve matematika. Navier–Stokes popisuje, jak se pohybují kapaliny, a od roku 1934 nikdo nevěděl, zda hladká 3D kapalina může dosáhnout singularity: rychlost se stává nekonečnou v konečném čase. Systém OpenAI říká ano. Začněte v klidu, aplikujte hladkou sílu, udržujte energii konečnou, a vír se spirálovitě stáčí dovnitř jako špagety, dokud se rychlost nevybuchne. Prohlášení C a D formulace Clay, v Lean,
1:16 sedmnáct hodin Astra k ověření. Takže kapaliny mohou explodovat, což věděl každý, kdo si vylil kávu na MacBook, ale teď je to v Lean. Jak: OpenAI má nový interní model, který nazývá výrazně schopnějším než Astra, a 1. září slyšeli fámu, že dva Millennium problémy byly vyřešeny, takže to nasměrovali na každý otevřený problém. Skupina Navier–Stokes: asi deset tisíc souběžných agentů, sto třicet miliard výstupních tokenů; tři sta miliard napříč všemi
1:42 problémy. Za ceníkové ceny Astra, patnáct milionů dolarů za tokeny pro milionovou cenu, kterou OpenAI říká, že si nenárokuje, a s takovou marží, kdo by. Druhá strana. Tristan Buckmaster z NYU a Levent Alpöge, který pracuje pro Anthropic, strávili rok prosazováním přístupu Córdoba a Martínez-Zoroa s Claude a Codex, platící OpenAI z Buckmasterových vlastních výzkumných fondů. 15. srpna dosáhli výbuchu pro Eulerovy rovnice; Buckmaster nazývá první LLM důkaz tím nejhorším, co kdy četl,
2:10 a byl ověřen v Lean 22. srpna. Pak se rozšířila fáma, a 3. září poslal e-mail OpenAI: jsme to my, je to osobní, brzy zveřejníme. V neděli ve 12:45 OpenAI požádala o schůzku kdykoli dnes, a Sébastien Bubeck se připojil. Buckmasterovi bylo řečeno, že model dokázal nucené Navier–Stokes s velmi malým lidským vstupem, což se během hovoru stalo celým týmem, nejprve jednodušší problémy, výzva napsaná Codexem a šílené množství
2:36 výpočetní síly. Zeptal se, kdy byla odeslána první výzva. Nakonec: v posledních několika dnech, poté, co se informace o naší práci dostaly k OpenAI. Následovaly dvě nabídky. Jedna: vy zveřejníte Eulera, my zveřejníme Navier–Stokes další den. Dvě: Buckmaster sám sepíše důkaz OpenAI, a, říká, Bubeck dvakrát chtěl Alpögeho vyřadit z práce, protože pracuje pro Anthropic. Odmítl a řekl, že to zveřejní. Odpověď, podle prohlášení: proč byste si ničil kariéru,
3:00 pak: pokud nechceš, abych byl milý, nemusím být milý. Normálně to je věta těsně předtím, než se v posteli objeví koňská hlava. Verze OpenAI: nikdo neviděl jejich práci, žádná uživatelská data nebyla zpřístupněna, a, poznámka pod čarou, nemohou vyloučit, že anonymizovaná data z profesorova používání jejich produktů pomohla vylepšit model. Alpögeho recenze: klobouk dolů, že s tím vyšli na čisto. Sam Altman říká, že všichni jednali s integritou a velkorysostí a druhý tým
3:25 hrozil nepodloženými obviněními z plagiátorství, napsáno s jedním i. Takže oficiální stanovisko: nekopírovali jsme váš domácí úkol, slyšeli jsme, že děláte domácí úkol. Terence Tao označil výsledek profesorů za pozoruhodný a poznamenal, že mu Buckmaster to vysvětlil po telefonu, což je osvěžující změna od komunikace založené na AI modalitách. Pak, čtyři příspěvky: dobré otevřené problémy jsou nyní těženy jako neobnovitelný zdroj, dokonce i fáma, že na jednom někdo pracuje, spouští masivní úsilí AI k jeho zploštění, takže motivací je přestat sdílet výzkumné
3:55 směry, což obrací staletí otevřené vědy. Tři skupiny zveřejnily výbuch kapaliny za jeden víkend; další článek může být NDA. To je nálada, do které Jacob Coxon rezignoval: tři roky předtrénování v OpenAI, pak Anthropic; ani jedna společnost nejedná zodpovědně, říká, obě závodí k samo-zdokonalující se superinteligenci, a konec by neměl být spuštěn ze Slacku soukromé společnosti. Čtyřicet čtyři milionů zhlédnutí, v den, kdy jedna laboratoř nasadila deset tisíc agentů na fámu,
4:21 takže vlákno SHIP IT s živou ukázkou. Mezitím, Meta SHIP IT Muse: osobního agenta na vlastním cloudovém VM s vlastním prohlížečem, a mluvíte s ním ve WhatsApp. Pouze USA, zdarma pro většinu věcí. Meta slibuje verzi, kterou ani Meta nemůže číst, později letos, velmi specifický způsob popisu letošního roku. Nejlepší komentář na Hacker News: Nechci takto sdílet svůj život s Meta. Druhý: stále se mi snaží prodat kočárek.
4:45 Pokud si to raději přečtete, než abyste mě slyšeli říkat, diff vám přistane do e-mailové schránky každé ráno – zdarma na the daily diff dot dev, odkaz níže. Takže – dnešní verdikt: POTŘEBUJE PŘEZKUM. Důkaz se zkompiluje; příběh ne. Deset tisíc agentů, kteří vyřeší devadesátiletý problém za víkend, je výsledek schopností roku; oznámit to nedělním telefonátem dvěma lidem, od kterých jste se o tom dozvěděli, není.
5:07 A to je dnešní diff. Jsem Niko z Axrisi. Sloučit zodpovědně.
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
