OpenAI pravi, da je rešil Navier–Stokesa. Sodba: POTREBUJE PREGLED.

Kaj zajema ta videoposnetek

• OpenAI: Navier–Stokes eksplozija, ~10.000 agentov, 88 ur, 130 milijard izhodnih žetonov, Lean-preverjeno
• Buckmaster in Alpöge: eno leto na istem pristopu, govorice in nedeljski klic z dvema ponudbama
• Terence Tao: "že sama govorica, da nekdo dela na problemu, lahko sproži ogromno truda, podprtega z umetno inteligenco, da se ga reši"
• Jacob Coxon odstopi iz Anthropic: oba laboratorija "dirkata naravnost v samonapredovalno superinteligenco"
• Meta lansira Muse: osebni agent na lastnem oblak VM-ju, v WhatsAppu, samo za ZDA

Preveden prepis

Prevedeno iz izvirnega angleškega pripovedovanja. Razpoložljivi zvok in podnapisi so nadzorovani s strani YouTuba.

0:00 Včeraj je OpenAI objavil, da je njegova AI rešila problem Millennium Prize, odprt devetdeset let, za milijon dolarjev, v oseminosemdesetih urah, in dva matematika, ki sta eno leto delala na istem problemu, sta izvedela za to v nedeljskem telefonskem klicu, ki je po besedah enega od njiju vključeval: zakaj bi si uničil svojo kariero? Bil je dolg ponedeljek. Ob zori je profesor z NYU objavil izjavo na štirih straneh; tisoč šeststo točk na Hacker News. Popoldne je OpenAI objavil dokaz.

0:26 Zvečer je Terence Tao dejal, da se odprti problemi zdaj izkoriščajo kot neobnovljiv vir, in čez noč je raziskovalec iz Anthropic odstopil na X, štiriinštirideset milijonov ogledov, ker oba laboratorija, citiram, igrata z našimi življenji. Prav tako je Meta lansirala osebnega agenta, ki živi v WhatsAppu in ima svoj računalnik. V tem videu: dokaz, telefonski klic, opomba, in stavek, ki ga Terence Tao želi, da ga laboratoriji slišijo.

0:49 Je sreda, 9. september, in to je The Daily Diff. Najprej matematika. Navier–Stokes opisuje, kako se premikajo tekočine, in od leta 1934 nihče ni vedel, ali lahko gladka 3D tekočina doseže singularnost: hitrost, ki gre v neskončnost v končnem času. Sistem OpenAI pravi da. Začnite v mirovanju, uporabite gladko silo, ohranjajte končno energijo, in vrtinec se vrti navznoter kot špageti, dokler hitrost ne eksplodira. Izjave C in D Clayjeve formulacije, v Leanu,

1:16 sedemnajst ur Astra za preverjanje. Torej tekočine lahko eksplodirajo, kar je vedel vsak, ki je polil kavo po MacBooku, zdaj pa je to v Leanu. Kako: OpenAI ima nov notranji model, ki ga imenuje bistveno sposobnejšega od Astra, in 1. septembra so slišali govorico, da sta bila rešena dva problema Millennium, zato so ga usmerili na vsakega odprtega. Skupina Navier–Stokes: približno deset tisoč sočasnih agentov, sto trideset milijard izhodnih žetonov; tristo milijard za vse

1:42 probleme. Po ceniku Astra, petnajst milijonov dolarjev žetonov za milijon dolarjev vredno nagrado, ki jo OpenAI pravi, da ne bo zahteval, in pri tej marži, kdo bi. Druga stran. Tristan Buckmaster z NYU in Levent Alpöge, ki dela pri Anthropic, sta eno leto razvijala pristop Cordobe in Martínez-Zoroe s Claudeom in Codexom, plačevala OpenAI iz Buckmasterjevih lastnih raziskovalnih sredstev. 15. avgusta sta dobila eksplozijo za Eulerjeve enačbe; Buckmaster imenuje prvi dokaz LLM najbolj groznega, kar jih je kdaj prebral,

2:10 in bil je preverjen v Leanu 22. avgusta. Nato se je razširila govorica, in 3. septembra je poslal e-pošto OpenAI: mi smo, to je osebno, kmalu bomo objavili. V nedeljo ob 12:45 je OpenAI vprašal, če se lahko srečajo kadar koli danes, in Sébastien Bubeck se je pridružil. Buckmasterju so povedali, da je model dokazal vsiljeno Navier–Stokes z zelo malo človeškega vnosa, kar je med klicem postala celotna ekipa, najprej lažji problemi, poziv, ki ga je napisal Codex, in noro veliko

2:36 računalniške moči. Vprašal je, kdaj je bil poslan prvi poziv. Sčasoma: v zadnjih nekaj dneh, potem ko so informacije o našem delu dosegle OpenAI. Sledili sta dve ponudbi. Ena: vi objavite Eulerja, mi objavimo Navier–Stokes naslednji dan. Dve: Buckmaster sam napiše dokaz OpenAI in, pravi, Bubeck je dvakrat želel Alpögeja odstraniti iz članka, ker dela pri Anthropic. Odklonil je in dejal, da bo objavil javno. Odgovor, po izjavi: zakaj bi si uničil kariero,

3:00 nato: če ne želiš, da sem prijazen, mi ni treba biti prijazen. Običajno je vrstica tik pred tem, ko se konjska glava pojavi v postelji. Različica OpenAI: nihče ni videl njihovega dela, do uporabniških podatkov ni bilo dostopa, in, opomba, ne morejo izključiti, da so deidentificirani podatki iz profesorjeve uporabe njihovih izdelkov pomagali izboljšati model. Alpögejev pregled: čestitke jim za to, da so povedali resnico. Sam Altman pravi, da so vsi ravnali z integriteto in radodarnostjo in druga ekipa

3:25 je grozila z neutemeljenimi obtožbami plagiatorstva, zapisano z enim i. Torej uradno stališče: nismo prepisali vaše domače naloge, slišali smo, da delate domačo nalogo. Terence Tao je rezultat profesorjev označil za izjemnega in opozoril, da mu ga je Buckmaster razložil po telefonu, kar je osvežujoča sprememba od komunikacijskih modalitet, temelječih na umetni inteligenci. Nato, štiri objave: dobri odprti problemi se zdaj izkoriščajo kot neobnovljiv vir, že govorica, da nekdo dela na enem, sproži ogromen napor AI, da se ga reši, zato je spodbuda, da se preneha deliti raziskovalne

3:55 smeri, kar obrača stoletja odprte znanosti. Tri skupine so v enem vikendu objavile eksplozijo tekočin; naslednji članek bo morda NDA. To je razpoloženje, v katerem je Jacob Coxon odstopil: tri leta predizobraževanja pri OpenAI, nato Anthropic; nobeno podjetje ne ravna odgovorno, pravi, oba dirkata v samonapredovalno superinteligenco, in končne igre se ne bi smelo začeti iz Slacka zasebnega podjetja. Štiriinštirideset milijonov ogledov, na dan, ko je en laboratorij postavil deset tisoč agentov na govorice,

4:21 tako da je nit prišla z demo v živo. Medtem je Meta lansirala Muse: osebnega agenta na lastnem oblačnem VM-ju z lastnim brskalnikom, in z njim se pogovarjate v WhatsAppu. Samo ZDA, brezplačno za večino stvari. Meta obljublja različico, ki je niti Meta ne more prebrati, pozneje letos, zelo specifičen način opisovanja letošnjega leta. Najboljši komentar na Hacker News: Ne želim si deliti svojega življenja z Meta tako. Drugi: nenehno mi poskuša prodati voziček.

4:45 Če bi raje prebrali to, kot pa me slišali govoriti, se razlike vsako jutro pojavijo v vašem nabiralniku — brezplačno na the daily diff dot dev, povezava spodaj. Torej — današnja sodba: potrebuje pregled. Dokaz se prevede; zgodba ne. Deset tisoč agentov, ki v enem vikendu rešijo devetdeset let star problem, je rezultat zmogljivosti leta; objaviti ga z nedeljskim telefonskim klicem dvema osebama, od katerih ste izvedeli zanj, ni.

5:07 In to je The Daily Diff za danes. Sem Niko iz Axrisi. Združite odgovorno.

Viri

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