OpenAI-ը հայտարարում է, որ լուծել է Նավիե-Ստոքսը։ Վճիռ՝ NEEDS REVIEW։

Ինչ է ընդգրկում այս տեսանյութը

• OpenAI. Նավիե-Ստոքսի պայթյուն, ~10,000 գործակալ, 88 ժամ, 130 միլիարդ արդյունքային թոքեն, Lean-ով հաստատված
• Բաքմաստեր և Ալպոգե. մեկ տարի նույն մոտեցման վրա, լուր և կիրակի օրվա զանգ երկու առաջարկով
• Թերենս Թաո. «նույնիսկ լուրը, որ ինչ-որ մեկը աշխատում է խնդրի վրա, կարող է առաջացնել AI-ի հզոր ջանքեր՝ այն հարթեցնելու համար»
• Ջեյքոբ Քոքսոնը հրաժարական է տալիս Anthropic-ից. երկու լաբորատորիաներն էլ «մրցում են ուղղակիորեն ինքնակատարելագործվող գերինտելեկտի համար»
• Meta-ն թողարկում է Muse-ը. անձնական գործակալ իր սեփական ամպային VM-ի վրա, WhatsApp-ում, միայն ԱՄՆ-ում

Թարգմանված արձանագրություն

Թարգմանվել է բնօրինակ անգլերեն պատմությունից։ Հասանելի աուդիո և ենթագրերը վերահսկվում են YouTube-ի կողմից։

0:00 Երեկ OpenAI-ը հայտարարեց, որ իր AI-ը լուծել է Հազարամյակի մրցանակի խնդիրը, իննսուն տարի բաց, մեկ միլիոն դոլար, ութսունութ ժամում, և երկու մաթեմատիկոսները, ովքեր մեկ տարի անցկացրել էին նույն խնդրի վրա, իմացան դրա մասին կիրակի օրվա հեռախոսազրույցի ժամանակ, որը, ըստ նրանցից մեկի, ներառում էր. ինչու՞ պետք է փչացնեիք ձեր կարիերան։ Երկար երկուշաբթի էր։ Արշալույսին Նյու Յորքի համալսարանի պրոֆեսորը հրապարակեց քառէջանոց հայտարարություն. տասնվեց հարյուր միավոր Hacker News-ում։ Կեսօրին OpenAI-ը հրապարակեց ապացույցը։

0:26 Երեկոյան Թերենս Թաոն ասաց, որ բաց խնդիրներն այժմ արդյունահանվում են որպես չվերականգնվող ռեսուրս, և մեկ գիշերվա ընթացքում Anthropic-ի հետազոտողը հրաժարական տվեց X-ում, քառասունչորս միլիոն դիտում, քանի որ երկու լաբորատորիաներն էլ, մեջբերում, են խաղում մեր կյանքերի հետ։ Նաև Meta-ն թողարկեց անձնական գործակալ, որն ապրում է WhatsApp-ում և ունի իր սեփական համակարգիչը։ Այս տեսանյութում՝ ապացույցը, հեռախոսազրույցը, ծանոթագրությունը, և այն նախադասությունը, որը Թերենս Թաոն ցանկանում է, որ լաբորատորիաները լսեն։

0:49 Չորեքշաբթի է, սեպտեմբերի 9-ը, և սա The Daily Diff-ն է։ Նախ մաթեմատիկան։ Նավիե-Ստոքսը նկարագրում է, թե ինչպես են շարժվում հեղուկները, և 1934 թվականից ի վեր ոչ ոք չգիտեր, թե արդյոք հարթ 3D հեղուկը կարող է հասնել եզակիության՝ արագությունը դառնալով անսահման վերջավոր ժամանակում։ OpenAI-ի համակարգն ասում է՝ այո։ Սկսել անշարժ վիճակից, կիրառել հարթ ուժ, պահպանել էներգիան վերջավոր, և պտտահողմը պարուրաձև ներս է մտնում կարծես սպագետի, մինչև արագությունը պայթում է։ Clay-ի ձևակերպման C և D հայտարարությունները, Lean-ում,

1:16 Astra-ի տասնյոթ ժամ՝ հաստատելու համար։ Այսպիսով հեղուկները կարող են պայթել, ինչը գիտեր ցանկացած ոք, ով սուրճ էր թափել MacBook-ի վրա, բայց հիմա դա Lean-ում է։ Ինչպես. OpenAI-ն ունի նոր ներքին մոդել, որը նրանք կոչում են Astra-ից զգալիորեն ավելի ընդունակ, և սեպտեմբերի 1-ին նրանք լսեցին մի լուր, որ երկու Հազարամյակի խնդիրներ լուծվել էին, ուստի նրանք այն ուղղեցին յուրաքանչյուր բաց խնդրի։ Նավիե-Ստոքսի խումբը. մոտ տասը հազար միաժամանակյա գործակալ, հարյուր երեսուն միլիարդ արդյունքային թոքեն. երեք հարյուր միլիարդ բոլոր

1:42 խնդիրների համար։ Astra-ի ցուցակային գներով՝ տասնհինգ միլիոն դոլար արժողությամբ թոքեններ մեկ միլիոն դոլարի մրցանակի համար, որը OpenAI-ը չի հայտարարի, և այդ մարժայով, ո՞վ կհայտարարեր։ Մյուս կողմը։ Թրիստան Բաքմաստերը Նյու Յորքի համալսարանից և Լևենտ Ալպոգեն, ով աշխատում է Anthropic-ում, մեկ տարի անցկացրեցին՝ զարգացնելով Կորդոբայի և Մարտինես-Զորոայի մոտեցումը Claude-ի և Codex-ի հետ, վճարելով OpenAI-ին Բաքմաստերի սեփական հետազոտական միջոցներից։ Օգոստոսի 15-ին նրանք ստացան պայթյուն Էյլերի հավասարումների համար. Բաքմաստերը կոչում է առաջին LLM ապացույցը ամենասարսափելին, որ երբևէ կարդացել է,

2:10 և այն հաստատվեց Lean-ում օգոստոսի 22-ին։ Այնուհետև լուր տարածվեց, և սեպտեմբերի 3-ին նա էլ. փոստ ուղարկեց OpenAI-ին. դա մենք ենք, դա անձնական է, մենք շուտով կհրապարակենք։ Կիրակի օրը ժամը 12:45-ին OpenAI-ը խնդրեց հանդիպել այսօր ցանկացած պահի, և Սեբաստիան Բուբեքը միացավ։ Բաքմաստերին ասացին, որ մոդելն ապացուցել էր հարկադրված Նավիե-Ստոքսը շատ քիչ մարդկային ներդրումով, ինչը զանգի ընթացքում դարձավ մի ամբողջ թիմ, սկզբում ավելի հեշտ խնդիրներ, Codex-ի կողմից գրված հուշում և խելահեղ քանակությամբ

2:36 հաշվարկ։ Նա հարցրեց, թե երբ է ուղարկվել առաջին հուշումը։ Ի վերջո. վերջին մի քանի օրվա ընթացքում, այն բանից հետո, երբ մեր աշխատանքի մասին տեղեկատվությունը հասել էր OpenAI։ Հետևեցին երկու առաջարկներ։ Մեկ. դուք հրապարակում եք Էյլերը, մենք հրապարակում ենք Նավիե-Ստոքսը հաջորդ օրը։ Երկու. Բաքմաստերը միայնակ է գրում OpenAI-ի ապացույցը, և, նա ասում է, Բուբեքը երկու անգամ ցանկացել է Ալպոգեին հեռացնել հոդվածից, քանի որ նա աշխատում է Anthropic-ում։ Նա մերժեց և ասաց, որ կհրապարակի դա։ Պատասխանը, ըստ հայտարարության. ինչու՞ պետք է փչացնեիք ձեր կարիերան,

3:00 ապա. եթե չեք ուզում, որ ես լինեմ քաղաքավարի, ես պարտավոր չեմ լինել քաղաքավարի։ Սովորաբար ձիու գլխի հայտնվելուց անմիջապես առաջ գիծ է հայտնվում անկողնում։ OpenAI-ի տարբերակը. ոչ ոք չի տեսել նրանց աշխատանքը, օգտատերերի տվյալներին չի մուտք գործվել, և, ծանոթագրություն, նրանք չեն կարող բացառել, որ պրոֆեսորների կողմից իրենց արտադրանքների օգտագործումից անանունացված տվյալները օգնել են բարելավել մոդելը։ Ալպոգեի գնահատականը. շնորհավորում եմ նրանց անմիջապես ճշմարտությունը ասելու համար։ Սեմ Ալթմանն ասում է, որ բոլորը գործել են արդարության և առատաձեռնության սկզբունքներով, և մյուս թիմը

3:25 սպառնացել է անհիմն գրագողության մեղադրանքներով, մեկ i-ով գրված։ Այսպիսով, պաշտոնական դիրքորոշումը. մենք չենք պատճենել ձեր տնային առաջադրանքը, մենք լսել էինք, որ դուք տնային առաջադրանք էիք անում։ Թերենս Թաոն պրոֆեսորների արդյունքը անակնկալ կոչեց և նշեց, որ Բաքմաստերը նրան բացատրել էր այն հեռախոսով՝ թարմացնող փոփոխություն AI-ի վրա հիմնված հաղորդակցման եղանակներից։ Այնուհետև, չորս գրառում. լավ բաց խնդիրներն այժմ արդյունահանվում են որպես չվերականգնվող ռեսուրս, նույնիսկ լուրը, որ ինչ-որ մեկը աշխատում է դրա վրա, առաջացնում է զանգվածային AI ջանքեր՝ այն հարթեցնելու համար, ուստի խրախուսանքը հետազոտական

3:55 ուղղությունները չկիսելն է՝ շրջելով դարեր շարունակ բաց գիտությունը։ Երեք խումբ հրապարակեցին հեղուկի պայթյունի մասին մեկ հանգստյան օրվա ընթացքում. հաջորդ հոդվածը կարող է լինել NDA։ Որն է այն տրամադրությունը, որի մեջ Ջեյքոբ Քոքսոնը հրաժարական տվեց. երեք տարի նախապատրաստություն OpenAI-ում, ապա Anthropic-ում. ոչ մի ընկերություն պատասխանատու չի գործում, նա ասում է, երկուսն էլ մրցում են ինքնակատարելագործվող գերինտելեկտի համար, և վերջնական խաղը չպետք է սկսվի մասնավոր ընկերության Slack-ից։ Քառասունչորս միլիոն դիտում, այն օրը, երբ մեկ լաբորատորիա տասը հազար գործակալ դրեց լուրի վրա,

4:21 ուստի թելը թողարկվեց ուղիղ դեմոյով։ Միևնույն ժամանակ, Meta-ն թողարկեց Muse-ը. անձնական գործակալ իր սեփական ամպային VM-ի վրա իր սեփական զննարկիչով, և դուք դրան խոսում եք WhatsApp-ում։ Միայն ԱՄՆ, անվճար շատ բաների համար։ Meta-ն խոստանում է տարբերակ, որը նույնիսկ Meta-ն չի կարող կարդալ, այս տարվա վերջում, այս տարին նկարագրելու շատ կոնկրետ ձև։ Hacker News-ի լավագույն մեկնաբանություն. ես չեմ ուզում այսպես կիսել իմ կյանքը Meta-ի հետ։ Երկրորդ. այն շարունակում է փորձել ինձ սայլակ վաճառել։

4:45 Եթե դուք նախընտրում եք սա կարդալ, քան լսել իմ ասածը, diff-ը հայտնվում է ձեր մուտքի արկղում ամեն առավոտ՝ անվճար daily diff dot dev կայքում, հղումը ստորև։ Այսպիսով՝ այսօրվա վճիռը՝ NEEDS REVIEW։ Ապացույցը կոմպիլացվում է. պատմությունը՝ ոչ։ Տասը հազար գործակալ՝ իննսունամյա խնդիրը հանգստյան օրերին լուծելը տարվա հնարավորության արդյունքն է. այն հայտարարելը կիրակի օրվա հեռախոսազանգով երկու մարդկանց, ումից լսել եք դրա մասին, այդպես չէ։

5:07 Եվ այսօրվա տարբերությունն այդ է։ Ես Նիկոն եմ Axrisi-ից։ Միաձուլել պատասխանատվությամբ։

Աղբյուրներ

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