OpenAI Навье–Стоксты шештім дейді. Үкім: ҚАРАУ КЕРЕК.

Бұл бейне не туралы

• OpenAI: Навье–Стокстың жарылуы, ~10 000 агент, 88 сағат, 130 млрд шығыс токены, Lean-мен расталған
• Бакмастер және Альпөге: бір жыл бойы бірдей тәсілмен, қауесет және жексенбіде екі ұсыныспен телефон қоңырауы
• Теренс Тао: "тіпті біреудің проблемамен жұмыс істеп жатқаны туралы қауесеттің өзі оны тегістеу үшін жасанды интеллекттің үлкен күш-жігерін тудыруы мүмкін"
• Джейкоб Коксон Anthropic-тан жұмыстан кетті: екі зертхана да "өзін-өзі жетілдіретін суперақылға қарай жарысуда"
• Meta Muse-ті шығарды: WhatsApp-та өзінің бұлтты виртуалды машинасы бар жеке агент, тек АҚШ-та

Аударылған транскрипция

Бастапқы ағылшын тіліндегі баяндамадан аударылған. Қолжетімді аудио және субтитрлерді YouTube басқарады.

0:00 Кеше OpenAI оның ЖИ Мыңжылдық жүлде проблемасын шешкенін жариялады, тоқсан жыл ашық, бір миллион доллар, сексен сегіз сағат ішінде, және бір жыл бойы сол проблемамен айналысқан екі математик бұл туралы білді жексенбідегі телефон қоңырауында, олардың бірінің айтуынша: неге сіз өзіңіздің мансабыңызды құртасыз? Ұзақ дүйсенбі болды. Таңертең Нью-Йорк университетінің профессоры жариялады төрт беттік мәлімдеме; Hacker News-те он алты жүз ұпай. Түстен кейін OpenAI дәлелді жариялады.

0:26 Кешкісін Теренс Тао ашық проблемалар қазір қалпына келмейтін ресурс сияқты игеріледі деді, және түнде Anthropic зерттеушісі X-те жұмыстан кетті, қырық төрт миллион қаралым, себебі екі зертхана да, цитата, өмірімізбен құмар ойнауда. Сондай-ақ, Meta WhatsApp-та тұратын және өзінің компьютері бар жеке агентті шығарды. Бұл видеода: дәлел, телефон қоңырауы, сілтеме, және Теренс Тао зертханалардың естігенін қалайтын сөйлем.

0:49 Бұл сәрсенбі, 9 қыркүйек, және бұл The Daily Diff. Алдымен математика. Навье–Стокc сұйықтықтардың қалай қозғалатынын сипаттайды, және 1934 жылдан бері ешкім білмеді тегіс 3D сұйықтық сингулярлыққа ұшырауы мүмкін бе: жылдамдықтың ақырлы уақытта шексіздікке жетуі. OpenAI жүйесі иә дейді. Тыныштықтан бастап, тегіс күшті қолданыңыз, энергияны ақырлы ұстаңыз, және құйын спагетти сияқты ішке қарай бұралып, жылдамдық жарылып кетеді. Lean-дағы Клей формуласының C және D мәлімдемелері,

1:16 растау үшін Astra-ның он жеті сағаты. Сондықтан сұйықтықтар жарылып кетуі мүмкін, мұны MacBook-қа кофе төккен кез келген адам білетін, бірақ қазір ол Lean-да. Қалай: OpenAI-де Astra-дан айтарлықтай қабілетті деп атайтын жаңа ішкі моделі бар, және 1 қыркүйекте олар екі Мыңжылдық проблемасы шешілді деген қауесетті естіді, сондықтан олар оны барлық ашық проблемаларға бағыттады. Навье–Стокc тобы: шамамен он мың бір уақытта жұмыс істейтін агент, жүз отыз миллиард шығыс токены; барлық проблемалар бойынша үш жүз миллиард.

1:42 Astra прайс-тізімі бойынша, бір миллион долларлық жүлде үшін он бес миллион долларлық токендерді OpenAI талап етпейді дейді, және бұл маржада кім талап етеді. Екінші жағы. Нью-Йорк университетінің Тристана Бакмастері мен Anthropic-те жұмыс істейтін Левент Альпөге, Кордоба мен Мартинес-Зороаның тәсілін Клод пен Кодексті қолданып, Бакмастердің жеке зерттеу қаражатынан OpenAI-ға төлеп, бір жыл бойы дамытты. 15 тамызда олар Эйлер теңдеулері үшін жарылуды алды; Бакмастер бірінші LLM дәлелін ол оқыған ең сұмдық дәлел деп атайды, және ол 22 тамызда Lean-да расталды. Содан кейін қауесет тарап, 3 қыркүйекте ол OpenAI-ға электронды пошта жіберді: бұл біз,

2:10 бұл жеке, біз жақында жариялаймыз. Жексенбіде 12:45-те OpenAI бүгін кез келген уақытта кездесуді сұрады, және Себастьян Бубек қосылды. Бакмастерге модель мәжбүрлі Навье–Стоксты өте аз адам қатысуымен дәлелдеді делінді, бұл қоңырау барысында бүкіл командаға айналды, алдымен оңайырақ проблемалар, Кодекс жазған сұрау, және ақылсыз мөлшердегі есептеу қуаты. Ол алғашқы сұрау қашан жіберілгенін сұрады. Ақырында: соңғы бірнеше күнде, біздің жұмысымыз туралы ақпарат OpenAI-ға жеткеннен кейін.

2:36 Екі ұсыныс келесідей болды. Біріншісі: сіз Эйлерді жариялайсыз, біз келесі күні Навье–Стоксты жариялаймыз. Екіншісі: тек Бакмастер ғана OpenAI дәлелін жазып шығады, және, ол айтады, Бубек Альпөгені екі рет мақаладан шығарғысы келді, себебі ол Anthropic-те жұмыс істейді. Ол бас тартты және көпшілікке жариялайтынын айтты. Жауап, мәлімдемеге сәйкес: неге мансабыңызды құртасыз, содан кейін: егер менің мейірімді болғанымды қаламасаңыз, мен мейірімді болмауым керек. Әдетте аттың басы төсекке түскенге дейінгі сөйлем.

3:00 OpenAI нұсқасы: ешкім олардың жұмысын көрген жоқ, пайдаланушы деректеріне қол жеткізілмеді, және, ескертпе, олар профессорлардың өнімдерін пайдалануынан алынған анықталмаған деректердің модельді жақсартуға көмектескенін жоққа шығара алмайды. Альпөгенің шолуы: оларға шындықты айтқаны үшін рахмет. Сэм Альтман әркім адалдықпен және жомарттықпен әрекет етті және басқа команда плагиат туралы негізсіз айыптаулармен қорқытты, бір "і" әрпімен жазылады. Сонымен ресми позиция: біз сіздің үй тапсырмаңызды көшірген жоқпыз,

3:25 біз сіздің үй тапсырмасын орындап жатқаныңызды естідік. Теренс Тао профессорлардың нәтижесін тамаша деп атады және Бакмастердің оны телефон арқылы түсіндіргенін атап өтті, ЖИ негізіндегі коммуникациялық модальділіктерден жақсы өзгеріс. Содан кейін, төрт жазба: жақсы ашық проблемалар қазір қалпына келмейтін ресурс сияқты игеріледі, тіпті біреудің проблемамен жұмыс істеп жатқаны туралы қауесеттің өзі оны тегістеу үшін жасанды интеллекттің үлкен күш-жігерін тудырады, сондықтан зерттеу бағыттарын бөлісуді тоқтатуға ынталандырады, ғасырлар бойы ашық ғылымды кері бұрады. Үш топ бір демалыс күнінде сұйықтықтың жарылуын жариялады; келесі мақала құпиялылық туралы келісім болуы мүмкін. Бұл Джейкоб Коксонның

3:55 жұмыстан кеткен көңіл-күйі: үш жыл бойы алдын ала оқыту OpenAI-да, содан кейін Anthropic-те; екі компания да жауапкершілікпен әрекет етпейді дейді, олардың екеуі де өзін-өзі жетілдіретін суперақылға қарай жарысуда, және соңғы ойын жеке компанияның Slack-тен іске қосылмауы керек. Қырық төрт миллион қаралым, бір зертхана он мың агентті қауесетке салған күні, сондықтан тақырып тікелей демомен шығарылды. Сонымен қатар, Meta Muse-ті шығарды: өзінің бұлтты виртуалды машинасы мен браузері бар жеке агент, және сіз онымен WhatsApp-та сөйлесесіз.

4:21 Тек АҚШ-та, көптеген нәрселер үшін тегін. Meta тіпті Мета оқи алмайтын нұсқасын осы жылдың соңында шығарады деп уәде етеді, биылғы жылды сипаттаудың өте ерекше тәсілі. Hacker News-тің ең жақсы комментарийі: Мен өмірімді Meta-мен осылай бөліскім келмейді. Екіншісі: ол маған үнемі бала арбасын сатуға тырысады. Егер сіз мұны естігеннен гөрі оқығыңыз келсе, diff әр таң сайын сіздің пошта жәшігіңізге түседі — daily diff dot dev сайтында тегін, сілтеме төменде. Сонымен — бүгінгі үкім: қарау керек.

4:45 Дәлел жинақталады; оқиға жоқ. Он мың агент тоқсан жылдық проблеманы бір демалыс күнінде шешуі - бұл жылдың мүмкіндік нәтижесі; оны естіген екі адамға жексенбіде телефон соғып жариялау олай емес. Бұл бүгінгі айырмашылық. Мен Axrisi-ден Никомын. Жауапкершілікпен біріктіріңіз.

5:07 Осыған дейін шыққан видеолар SHIP IT деп аяқталды, бірақ мұнда көптеген белгісіздіктер бар. Біз барлық ақпаратты жинақтадық, бірақ оны түсіндіру қиын. Сондықтан біз тағы да қарау керек деп айтамыз.

Дереккөздер

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