OpenAI saka, ka tā atrisināja Navier–Stokes. Spriedums: JĀPĀRSKATĀM.

Ko aptver šis video

• OpenAI: Navier–Stokes "uzsprāgšana", ~10 000 aģentu, 88 stundas, 130 miljardi izvades "žetonu", Lean verificēts
• Bakmeisters un Alpēgs: gads pie tās pašas pieejas, baumas un svētdienas zvans ar diviem piedāvājumiem
• Terenss Tao: "pat baumas par to, ka kāds strādā pie problēmas, var izraisīt milzīgus AI virzītus pūliņus, lai to atrisinātu"
• Džeikobs Koksons atkāpjas no Anthropic: abas laboratorijas "steidzas tieši uz pašuzlabojošu superinteliģenci"
• Meta izlaiž Muse: personīgs aģents savā mākoņa VM, WhatsApp, tikai ASV

Tulkotais transkripts

Tulkojums no oriģinālā angļu stāstījuma. Pieejamais audio un subtitri tiek kontrolēti no YouTube.

0:00 Vakar OpenAI paziņoja, ka tās AI atrisināja Tūkstošgades balvas problēmu, deviņdesmit gadus atklātu, viena miljona dolāru vērtu, astoņdesmit astoņās stundās, un divi matemātiķi, kuri gadu pavadīja pie tās pašas problēmas, par to uzzināja svētdienas telefonsarunā, kurā, pēc viena no viņiem teiktā, ietilpa: kāpēc jūs izpostītu savu karjeru? Tā bija gara pirmdiena. Rītausmā NYU profesors publicēja četru lappušu paziņojumu; sešpadsmit simti punktu vietnē Hacker News. Pēcpusdienā OpenAI publicēja pierādījumu.

0:26 Vakarā Terenss Tao teica, ka atklātās problēmas tagad tiek iegūtas kā neatjaunojams resurss, un naktī Anthropic pētnieks atkāpās no amata vietnē X, četrdesmit četri miljoni skatījumu, jo abas laboratorijas, citējot, riskē ar mūsu dzīvībām. Tāpat Meta izlaida personīgo aģentu, kas dzīvo WhatsApp un ir tam savs dators. Šajā video: pierādījums, telefonsaruna, zemsvītras piezīme, un teikums, ko Terenss Tao vēlas, lai laboratorijas dzird.

0:49 Ir trešdiena, 9. septembris, un šis ir The Daily Diff. Vispirms matemātika. Navier–Stokes apraksta, kā pārvietojas šķidrumi, un kopš 1934. gada neviens nezināja, vai gluds 3D šķidrums var sasniegt singularitāti: ātrums kļūst bezgalīgs ierobežotā laikā. OpenAI sistēma saka jā. Sāciet no miera stāvokļa, pielieciet gludu spēku, saglabājiet enerģiju ierobežotu, un virpulis spirālveidīgi virzās uz iekšu kā spageti, līdz ātrums "uzsprāgst". Klaja formulējuma apgalvojumi C un D, Lean valodā,

1:16 septiņpadsmit stundas Astra, lai verificētu. Tātad šķidrumi var eksplodēt, ko zināja ikviens, kurš izlēja kafiju uz MacBook, bet tagad tas ir Lean valodā. Kā: OpenAI ir jauns iekšējais modelis, ko tā sauc par ievērojami spējīgāku nekā Astra, un 1. septembrī viņi dzirdēja baumas, ka divas Tūkstošgades problēmas ir atrisinātas, tāpēc viņi to pavērsa pret katru atklāto problēmu. Navier–Stokes grupa: aptuveni desmit tūkstoši vienlaicīgu aģentu, simts trīsdesmit miljardi izvades "žetonu"; trīs simti miljardi visām

1:42 problēmām. Pie Astra saraksta cenām, piecpadsmit miljoni dolāru "žetonu" par viena miljona dolāru balvu, ko OpenAI saka, ka tā nepretendēs, un pie šādas peļņas, kurš gan to darītu. Otra puse. Tristans Bakmeisters no NYU un Leventa Alpēgs, kurš strādā Anthropic, gadu pavadīja, virzot Kordovas un Martinesa-Zoroa pieeju ar Claude un Codex, maksājot OpenAI no Bakmeistera paša pētījumu līdzekļiem. 15. augustā viņi ieguva Eilera vienādojumu "uzsprāgšanu"; Bakmeisters sauc pirmo LLM pierādījumu par visbriesmīgāko, ko viņš jebkad ir lasījis,

2:10 un tas tika verificēts Lean valodā 22. augustā. Tad izplatījās baumas, un 3. septembrī viņš e-pastā rakstīja OpenAI: tie esam mēs, tas ir personīgi, mēs drīzumā publicēsim. Svētdien pulksten 12:45 OpenAI lūdza tikties jebkurā dienas laikā, un pievienojās Sebastians Būbeks. Bakmeisteram tika teikts, ka modelis ir pierādījis piespiedu Navier–Stokes ar ļoti mazu cilvēka ieguldījumu, kas sarunas gaitā kļuva par visu komandu, vispirms vieglākas problēmas, Codex uzrakstīts pamudinājums un milzīgs daudzums

2:36 skaitļošanas jaudas. Viņš jautāja, kad tika nosūtīts pirmais pamudinājums. Visbeidzot: pēdējās dienās, pēc tam, kad informācija par mūsu darbu bija sasniegusi OpenAI. Sekoja divi piedāvājumi. Viens: jūs publicējat Eilera, mēs publicējam Navier–Stokes nākamajā dienā. Divi: Bakmeisters viens pats uzraksta OpenAI pierādījumu, un, viņš saka, Būbeks divas reizes vēlējās Alpēgu izņemt no raksta, jo viņš strādā Anthropic. Viņš atteicās un teica, ka dosies publiski. Atbilde, saskaņā ar paziņojumu: kāpēc jūs izpostītu savu karjeru,

3:00 tad: ja jūs nevēlaties, lai esmu jauks, man nav jābūt jaukam. Parasti tieši pirms līnijas zirga galva parādās gultā. OpenAI versija: neviens neredzēja viņu darbu, netika piekļūts lietotāju datiem, un, zemsvītras piezīme, viņi nevar izslēgt, ka de-identificēti dati no profesoru produktu lietošanas palīdzēja uzlabot modeli. Alpēga recenzija: cieņa viņiem par to, ka viņi uzreiz iznāca tīri. Sems Altmans saka, ka visi rīkojās ar godīgumu un dāsnumu, un otra komanda

3:25 draudēja ar nepamatotām apsūdzībām plaģiātismā, rakstīts ar vienu "i". Tātad oficiālā nostāja: mēs nekopējām jūsu mājasdarbus, mēs dzirdējām, ka jūs pildāt mājasdarbus. Terenss Tao nosauca profesoru rezultātu par ievērojamu un atzīmēja, ka Bakmeisters viņam to izskaidroja pa tālruni, atsvaidzinoša pārmaiņa no uz AI balstītām komunikācijas modalitātēm. Tad, četri ieraksti: labas atklātās problēmas tagad tiek iegūtas kā neatjaunojams resurss, pat baumas par to, ka kāds strādā pie vienas, izraisa milzīgus AI pūliņus, lai to atrisinātu, tāpēc stimuls ir pārtraukt pētījumu virzienu kopīgošanu,

3:55 apgriežot gadsimtiem ilgu atvērto zinātni. Trīs grupas publicēja šķidruma "uzsprāgšanu" vienā nedēļas nogalē; nākamais raksts var būt NDA. Tāda ir noskaņa, kurā Džeikobs Koksons atkāpās: trīs gadi iepriekšējās apmācības pie OpenAI, tad Anthropic; neviena kompānija nerīkojas atbildīgi, viņš saka, abas sacenšas par pašuzlabojošu superinteliģenci, un beigu spēle nedrīkst tikt palaista no privātas kompānijas Slack. Četrdesmit četri miljoni skatījumu, dienā, kad viena laboratorija desmit tūkstošus aģentu nosūtīja uz baumu,

4:21 tāpēc pavediens tika izlaists ar tiešu demonstrāciju. Tikmēr Meta izlaida Muse: personīgu aģentu savā mākoņa VM ar savu pārlūkprogrammu, un jūs ar to runājat WhatsApp. Tikai ASV, lielākajai daļai lietu bez maksas. Meta sola versiju, ko pat Meta nevarēs lasīt, vēlāk šogad, ļoti specifisks veids, kā aprakstīt šo gadu. Populārākais Hacker News komentārs: Es nevēlos dalīties savā dzīvē ar Meta šādā veidā. Otrais: tas turpina mēģināt man pārdot ratiņus.

4:45 Ja jūs labāk lasītu to, nevis dzirdētu mani to sakām, "the diff" nonāk jūsu iesūtnē katru rītu — bez maksas vietnē "the daily diff dot dev", saite zemāk. Tātad — šodienas spriedums: jāpārskata. Pierādījums kompilējas; stāsts ne. Desmit tūkstoši aģentu, kas atrisina deviņdesmit gadus vecu problēmu nedēļas nogalē, ir gada spēju rezultāts; tā paziņošana ar svētdienas telefonsarunu divām personām, no kurām jūs par to dzirdējāt, nav.

5:07 Un tas ir šodienas "diff". Esmu Niko no Axrisi. Apvienojiet atbildīgi.

Avoti

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