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

Šta ovaj video pokriva

• OpenAI: Navier–Stokes eksplozija, ~10.000 agenata, 88 sati, 130B izlaznih tokena, Lean-verificirano
• Buckmaster i Alpöge: godinu dana na istom pristupu, glasina i nedjeljni poziv s dvije ponude
• Terence Tao: "čak i glasina o nekome ko radi na problemu može pokrenuti masovnu količinu napora vođenog AI-jem da ga riješi"
• Jacob Coxon daje ostavku iz Anthropic-a: obje laboratorije "jure direktno ka samopoboljšavajućoj superinteligenciji"
• Meta isporučuje Muse: ličnog agenta na vlastitoj VM-u u oblaku, u WhatsAppu, samo za SAD

Prevedeni transkript

Prevedeno iz originalne engleske naracije. Dostupan zvuk i titlovi kontroliše YouTube.

0:00 Jučer je OpenAI objavio da je njegov AI riješio problem Milenijumske nagrade, otvoren devedeset godina, jedan milion dolara, za osamdeset osam sati, a dva matematičara koja su godinu dana provela na istom problemu saznala su za to u nedjeljnom telefonskom pozivu koji je, po jednom od njih, uključivao: zašto biste uništili svoju karijeru? Bio je to dug ponedjeljak. U zoru je profesor sa NYU objavio izjavu od četiri stranice; šesnaest stotina bodova na Hacker News-u. Poslijepodne je OpenAI objavio dokaz.

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

0:49 Srijeda je, 9. septembar, i 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 kaže da može. Počnite u mirovanju, primijenite glatku silu, održavajte energiju konačnom, i vrtlog se spiralno uvija prema unutra poput špageta dok se brzina ne raznese. Izjave C i D Clay formulacije, u Lean-u,

1:16 sedamnaest sati Astra-e za verifikaciju. Dakle, tečnosti mogu eksplodirati, što je svako ko je prolio 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 riješena dva Milenijumska problema, pa su ga usmjerili na svaki otvoreni. Navier–Stokes grupa: oko deset hiljada istovremenih agenata, sto trideset milijardi izlaznih tokena; tri stotine milijardi za sve

1:42 probleme. Po Astra cijenama, petnaest miliona dolara tokena za milion dolara nagrade koju OpenAI kaže da neće tražiti, a s 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 Cordobe i Martínez-Zoroe s Claudeom i Codexom, plaćajući OpenAI iz Buckmasterovih vlastitih istraživačkih sredstava. 15. augusta su dobili eksploziju za Eulerove jednačine; Buckmaster naziva prvi LLM dokaz najužasnijim koji je ikada pročitao,

2:10 i verificiran je u Lean-u 22. augusta. Zatim se proširila glasina, i 3. septembra je poslao e-mail OpenAI-u: to smo mi, to je lično, uskoro ćemo objaviti. U nedjelju u 12:45 OpenAI je zatražio sastanak u bilo koje vrijeme tog dana, i pridružio se Sébastien Bubeck. Buckmasteru je rečeno da je model dokazao prisilni Navier–Stokes s vrlo malo ljudskog unosa, što je tokom poziva postao cijeli tim, prvo lakši problemi, prompt napisan od strane Codexa, i nevjerovatna količina

2:36 računarske snage. Pitao je kada je poslat prvi prompt. Na kraju: u posljednjih nekoliko dana, nakon što su informacije o našem radu stigle do OpenAI. Uslijedile su dvije ponude. Jedna: vi objavite Euler, mi objavimo Navier–Stokes sljedeći dan. Dva: Buckmaster sam napiše OpenAI dokaz, i, kaže, Bubeck je dvaput želio da Alpöge bude izbačen iz rada jer radi u Anthropic-u. Odbio je i rekao da će izaći u javnost. Odgovor, prema izjavi: zašto biste uništili svoju karijeru,

3:00 zatim: ako ne želite da budem fin, ne moram biti fin. Normalno je to rečenica prije nego što se konjska glava pojavi u krevetu. Verzija OpenAI-a: niko nije vidio njihov rad, podacima korisnika nije pristupljeno, i, fusnota, ne mogu isključiti da su deidentificirani podaci iz upotrebe proizvoda profesora pomogli poboljšanju modela. Alpögeov pregled: svaka im čast što su iskreno priznali. Sam Altman kaže da su svi postupili s integritetom i velikodušnošću, a drugi tim

3:25 prijetio je neosnovanim optužbama za plagijat, napisanim s jednim i. Dakle, službeni stav: nismo kopirali vaš domaći zadatak, čuli smo da radite domaći zadatak. Terence Tao je nazvao rezultat profesora izvanrednim i primijetio da mu je Buckmaster objasnio to telefonom, osvježavajuća promjena od komunikacijskih modaliteta baziranih na AI-u. Zatim, četiri objave: dobri otvoreni problemi se sada rudare kao neobnovljiv resurs, čak i glasina o nekome ko radi na jednom izaziva masovni AI napor da ga riješi, tako da je poticaj da se prestane dijeliti smjerove istraživanja,

3:55 reverzujući stoljeća otvorene nauke. Tri grupe objavile su eksploziju tečnosti u jednom vikendu; sljedeći rad možda bude NDA. To je raspoloženje u kojem je Jacob Coxon dao ostavku: tri godine pretreniranja u OpenAI, zatim Anthropic; nijedna kompanija ne postupa odgovorno, kaže, obje jure ka samopoboljšavajućoj superinteligenciji, a kraj igre ne bi trebao biti pokrenut iz Slacka privatne kompanije. Četrdeset četiri miliona pregleda, na dan kada je jedna laboratorija postavila deset hiljada agenata na glasinu,

4:21 tako da je thread objavljen s demonstracijom uživo. U međuvremenu, Meta je isporučila Muse: ličnog agenta na vlastitom VM-u u oblaku s vlastitim preglednikom, i razgovarate s njim u WhatsAppu. Samo za SAD, besplatno za većinu stvari. Meta obećava verziju koju čak ni Meta ne može pročitati, kasnije ove godine, vrlo specifičan način opisivanja ove godine. Najpopularniji komentar na Hacker News-u: Ne želim dijeliti svoj život s Metom na ovaj način. Drugi: stalno mi pokušava prodati kolica.

4:45 Ako više volite ovo pročitati nego čuti kako ja to govorim, razlika stiže u vaš inbox svako jutro — besplatno na the daily diff dot dev, link ispod. Dakle — današnja presuda: POTREBAN JE PREGLED. Dokaz se kompajlira; priča ne. Deset hiljada agenata koji rješavaju devedesetogodišnji problem za vikend je rezultat sposobnosti godine; objavljivanje toga s nedjeljnim telefonskim pozivom dvjema osobama od kojih ste čuli za to, nije.

5:07 I to je razlika za danas. Ja sam Niko iz Axrisija. 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