OpenAI kaže da je riješio Navier–Stokes. Presuda: POTREBNO PREGLEDA.

Što ovaj video pokriva

• OpenAI: eksplozija Navier–Stokesa, ~10.000 agenata, 88 sati, 130 milijardi izlaznih tokena, Lean-provjereno
• Buckmaster i Alpöge: godinu dana na istom pristupu, glasina i nedjeljni poziv s dvije ponude
• Terence Tao: "čak i glasina da netko radi na problemu može pokrenuti masovnu AI-pokrenutu inicijativu da ga riješi"
• Jacob Coxon podnosi ostavku iz Anthropica: oba laboratorija "jure ravno prema samo-poboljšavajućoj superinteligenciji"
• Meta isporučuje Muse: osobnog agenta na vlastitom cloud VM-u, u WhatsAppu, samo u SAD-u

Prevedeni transkript

Prevedeno iz izvornog engleskog pripovijedanja. Dostupni zvuk i titlovi kontroliraju se putem YouTubea.

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

0:26 Uvečer je Terence Tao rekao da se otvoreni problemi sada rudare kao neobnovljiv resurs, a preko noći je istraživač iz Anthropica dao ostavku na X-u, četrdeset četiri milijuna pregleda, jer oba laboratorija, citiram, igraju se s našim životima. Također, Meta je isporučila osobnog agenta koji živi u WhatsAppu i ima vlastito računalo. U ovom videu: dokaz, telefonski poziv, fusnota, i rečenica koju Terence Tao želi da laboratoriji čuju.

0:49 Srijeda je, 9. rujna, i ovo je The Daily Diff. Prvo matematika. Navier–Stokes opisuje kako se tekućine kreću, a od 1934. nitko nije znao može li glatka 3D tekućina doći do singularnosti: brzina postaje beskonačna u konačnom vremenu. Sustav OpenAI-ja kaže da. Započnite u mirovanju, primijenite glatku silu, zadržite energiju konačnom, i vrtlog se spiralno uvija prema unutra poput špageta dok se brzina ne 'raznese'. Izjave C i D formulacije Clay, u Lean-u,

1:16 sedamnaest sati Astra za provjeru. Dakle, tekućine mogu eksplodirati, što je svatko tko je prolio kavu na MacBook znao, ali sada je to u Lean-u. Kako: OpenAI ima novi interni model koji naziva znatno sposobnijim od Astre, a 1. rujna su čuli glasinu da su riješena dva Milenijska problema, pa su ga usmjerili na svaki otvoreni problem. Grupa Navier–Stokes: oko deset tisuća istodobnih agenata, sto trideset milijardi izlaznih tokena; tri stotine milijardi za sve

1:42 probleme. Po maloprodajnim cijenama Astre, petnaest milijuna dolara tokena za nagradu od milijun dolara koju OpenAI kaže da neće tražiti, i s takvom maržom, tko bi. Druga strana. Tristan Buckmaster s NYU-a i Levent Alpöge, koji radi u Anthropic-u, proveli su godinu dana gurajući pristup Córdobe i Martínez-Zoroa s Claudeom i Codexom, plaćajući OpenAI iz Buckmasterovih vlastitih istraživačkih sredstava. 15. kolovoza dobili su 'eksploziju' za Eulerove jednadžbe; Buckmaster naziva prvi LLM dokaz najužasnijim koji je ikada pročitao,

2:10 i provjeren je u Lean-u 22. kolovoza. Zatim se proširila glasina, i 3. rujna je poslao e-poštu OpenAI-ju: mi smo, osobno je, uskoro ćemo objaviti. U nedjelju u 12:45 OpenAI je zatražio sastanak bilo kada danas, i Sébastien Bubeck se pridružio. Buckmasteru je rečeno da je model dokazao prisilne Navier–Stokesove jednadžbe s vrlo malo ljudskog unosa, što je tijekom poziva postalo cijeli tim, prvo lakši problemi, prompt napisan Codexom, i nevjerojatna količina

2:36 računalne snage. Pitao je kada je poslan prvi prompt. Na kraju: u posljednjih nekoliko dana, nakon što su informacije o našem radu stigle do OpenAI-ja. Uslijedile su dvije ponude. Jedna: vi objavite Eulera, mi objavimo Navier–Stokes sljedeći dan. Dva: samo Buckmaster piše OpenAI dokaz, i, kaže, Bubeck je dva puta želio da Alpöge ne bude na radu jer radi u Anthropic-u. Odbio je i rekao da će ić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 je to rečenica prije nego što se konjska glava pojavi u krevetu. Verzija OpenAI-ja: nitko nije vidio njihov rad, nije pristupano korisničkim podacima, i, fusnota, ne mogu isključiti da su deidentificirani podaci iz korištenja njihovih proizvoda od strane profesora pomogli poboljšati model. Alpögeov pregled: pohvale im što su iskreno priznali. Sam Altman kaže da su svi postupali s integritetom i velikodušnošću, a drugi tim je

3:25 prijetio neutemeljenim optužbama za plagijat, napisanim s jednim 'i'. Dakle, službeni stav: nismo kopirali vašu zadaću, čuli smo da radite zadaću. Terence Tao nazvao je rezultat profesora izvanrednim i primijetio da mu ga je Buckmaster objasnio telefonom, osvježavajuća promjena od AI-temeljenih načina komunikacije. Zatim, četiri objave: dobri otvoreni problemi sada se rudare kao neobnovljiv resurs, čak i glasina da netko radi na jednom pokreće masovni AI napor da ga riješi, pa je poticaj da se prestane dijeliti istraživačke

3:55 smjerove, preokrećući stoljeća otvorene znanosti. Tri grupe objavile su 'eksploziju' tekućina 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-ju, zatim Anthropic-u; niti jedna tvrtka ne djeluje odgovorno, kaže, obje jure prema samo-poboljšavajućoj superinteligenciji, a konačna faza ne bi trebala biti pokrenuta iz privatnog Slacka tvrtke. Četrdeset četiri milijuna pregleda, na dan kada je jedan laboratorij stavio deset tisuća agenata na glasinu,

4:21 tako je nit objavljena s live demo snimkom. U međuvremenu, Meta je isporučila Muse: osobnog agenta na vlastitom cloud VM-u s vlastitim preglednikom, a s njim razgovarate 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. Najbolji 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 biste radije ovo pročitali nego čuli kako ja to govorim, diff stiže u vaš inbox svako jutro — besplatno na the daily diff dot dev, link ispod. Dakle — današnja presuda: potrebno pregleda. Dokaz se kompajlira; priča ne. Deset tisuća agenata koji rješavaju problem star devedeset godina u vikendu je rezultat sposobnosti godine; objaviti to s nedjeljnim telefonskim pozivom dvjema osobama od kojih ste o tome čuli nije. I to je diff za danas.

5:07 Ja sam Niko iz Axrisija. Spajajte odgovorno. 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