OpenAI kaže da je rešio Navier–Stokes. Presuda: POTREBAN PREGLED.

Šta ovaj video pokriva

• OpenAI: Navier–Stokes eksplozija, ~10.000 agenata, 88 sati, 130B izlaznih tokena, Lean-verifikovano
• Buckmaster i Alpöge: godinu dana na istom pristupu, glasina i nedeljni poziv sa dve ponude
• Terence Tao: "čak i glasina da neko radi na problemu može pokrenuti masivan AI-pokretan napor da ga reši"
• Jacob Coxon daje ostavku iz Anthropic-a: obe laboratorije se "trkaju pravo ka samo-poboljšavajućoj superinteligenciji"
• Meta isporučuje Muse: ličnog agenta na sopstvenoj VM u oblaku, u WhatsApp-u, samo za SAD

Preveden transkript

Prevedeno sa originalne engleske naracije. Dostupan audio i titlovi kontrolisani su od strane YouTube-a.

0:00 Juče je OpenAI objavio da je njegov AI rešio problem Milenijumske nagrade, otvoren devedeset godina, vredan milion dolara, za osamdeset osam sati, a dvojica matematičara koji su godinu dana proveli na istom problemu saznala su za to u nedeljnom telefonskom pozivu koji je, prema jednom od njih, uključivao: zašto bi uništio svoju karijeru? Bio je to dug ponedeljak. U zoru je profesor sa NYU objavio izjavu na četiri stranice; šesnaest stotina poena na Hacker News-u. Popodne je OpenAI objavio dokaz.

0:26 Uveče je Terence Tao rekao da su otvoreni problemi sada iskopavani kao neobnovljiv resurs, a preko noći je istraživač iz Anthropic-a dao ostavku na X-u, četrdeset četiri miliona pregleda, jer obe laboratorije, citiram, igraju se sa našim životima. Takođe, Meta je isporučila ličnog agenta koji živi u WhatsApp-u i ima svoj računar. U ovom videu: dokaz, telefonski poziv, fusnota, i rečenica koju Terence Tao želi da laboratorije čuju.

0:49 Sreda je, 9. septembar, a ovo je The Daily Diff. Prvo matematika. Navier–Stokes opisuje kako se tečnosti kreću, i od 1934. niko nije znao da li glatka 3D tečnost može dostići singularitet: brzina postaje beskonačna u konačnom vremenu. Sistem OpenAI-ja kaže da. Počnite iz mirovanja, primenite glatku silu, održavajte energiju konačnom, i vrtlog se spiralno uvija kao špageti dok brzina ne eksplodira. Izjave C i D formulacije Clay, u Lean-u,

1:16 sedamnaest sati Astra za verifikaciju. Dakle, tečnosti mogu eksplodirati, što je svako ko je prosuo kafu na MacBook znao, ali sada je u Lean-u. Kako: OpenAI ima novi interni model koji naziva značajno sposobnijim od Astre, i 1. septembra su čuli glasinu da su dva Milenijumska problema rešena, pa su ga usmerili na svaki otvoreni. Navier–Stokes grupa: oko deset hiljada konkurentnih agenata, sto trideset milijardi izlaznih tokena; trista milijardi preko svih

1:42 problema. Po Astra cenama, petnaest miliona dolara tokena za nagradu od milion dolara koju OpenAI kaže da neće tražiti, i sa tom maržom, ko bi. Druga strana. Tristan Buckmaster sa NYU i Levent Alpöge, koji radi u Anthropic-u, proveli su godinu dana gurajući pristup Córdobe i Martínez-Zoroe sa Claude-om i Codex-om, plaćajući OpenAI iz Buckmasterovih sopstvenih istraživačkih fondova. 15. avgusta su dobili eksploziju za Eulerove jednačine; Buckmaster naziva prvi LLM dokaz najužasnijim koji je ikada pročitao,

2:10 i verifikovan je u Lean-u 22. avgusta. Zatim se proširila glasina, i 3. septembra je poslao e-mail OpenAI-ju: to smo mi, to je lično, uskoro ćemo objaviti. U nedelju u 12:45 OpenAI je zatražio sastanak u bilo koje vreme danas, i Sébastien Bubeck se pridružio. Buckmasteru je rečeno da je model dokazao prisilni Navier–Stokes sa vrlo malo ljudskog unosa, što je tokom poziva postao ceo tim, prvo lakši problemi, upit koji je napisao Codex, i neverovatna količina

2:36 računarske snage. Pitao je kada je poslat prvi upit. Na kraju: u poslednjih nekoliko dana, nakon što su informacije o našem radu stigle do OpenAI-ja. Usledile su dve ponude. Jedna: vi objavite Euler, mi objavimo Navier–Stokes sledećeg dana. Druga: Buckmaster sam piše OpenAI dokaz, i, kaže, Bubeck je dvaput želeo da Alpöge bude isključen iz rada jer radi u Anthropic-u. On je odbio i rekao da će izaći u javnost. Odgovor, prema izjavi: zašto bi uništio svoju karijeru,

3:00 zatim: ako ne želiš da budem fin, ne moram biti fin. Obično se linija pre konjske glave pojavi u krevetu. Verzija OpenAI-ja: niko nije video njihov rad, podacima korisnika nije pristupljeno, i, fusnota, ne mogu isključiti da su deidentifikovani podaci iz upotrebe njihovih proizvoda od strane profesora pomogli poboljšanju modela. Alpögeov pregled: svaka čast što su iskreno priznali. Sam Altman kaže da su svi postupali sa integritetom i velikodušnošću, a drugi tim je

3:25 pretio neosnovanim optužbama za plagijarizam, napisanom sa jednim i. Dakle, zvaničan stav: nismo kopirali vaš domaći zadatak, čuli smo da radite domaći zadatak. Terence Tao je nazvao rezultat profesora izvanrednim i primetio da mu ga je Buckmaster objasnio telefonom, osvežavajuća promena u odnosu na komunikacione modalitete zasnovane na AI. Zatim, četiri posta: dobri otvoreni problemi se sada iskopavaju kao neobnovljiv resurs, čak i glasina da neko radi na jednom pokreće masivan AI napor da ga reši, pa je podsticaj da se prestane sa deljenjem istraživačkih

3:55 pravaca, što poništava vekove otvorene nauke. Tri grupe su objavile eksploziju fluida za jedan vikend; sledeći rad može biti NDA. Što je raspoloženje u kojem je Jacob Coxon dao ostavku: tri godine predobuke u OpenAI, zatim Anthropic; nijedna kompanija ne postupa odgovorno, kaže, obe se trkaju ka samo-poboljšavajućoj superinteligenciji, a krajnji ishod ne bi trebalo da bude pokrenut iz Slack-a privatne kompanije. Četrdeset četiri miliona pregleda, na dan kada je jedna laboratorija stavila deset hiljada agenata na glasinu,

4:21 pa je nit objavljena sa živom demonstracijom. U međuvremenu, Meta je isporučila Muse: ličnog agenta na sopstvenoj VM u oblaku sa sopstvenim pretraživačem, a sa njim razgovarate u WhatsApp-u. Samo za SAD, besplatno za većinu stvari. Meta obećava verziju koju čak ni Meta ne može da čita, kasnije ove godine, vrlo specifičan način opisivanja ove godine. Najbolji komentar na Hacker News-u: Ne želim da delim svoj život sa Metom na ovaj način. Drugi: stalno pokušava da mi proda kolica.

4:45 Ako više volite da ovo pročitate nego da me čujete kako govorim, The Daily Diff stiže u vaše sanduče svako jutro — besplatno na thedaily diff.dev, link ispod. Dakle — današnja presuda: POTREBAN PREGLED. Dokaz se kompajlira; priča ne. Deset hiljada agenata koji rešavaju devedesetogodišnji problem za vikend je rezultat sposobnosti godine; objavljivanje toga nedeljnim telefonskim pozivom dvojici ljudi od kojih ste čuli za to, nije.

5:07 I to je The Daily Diff za danas. Ja sam Niko iz Axrisi. Spajajte odgovorno.

Izvori

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