# OpenAI Навье-Стокс теңдемесин чечтик дейт. Өкүм: КАЙРА КАРАП ЧЫГУУ КЕРЕК.

Published: 2026-09-09

OpenAI ички модели, 10 000ге жакын бир убакта иштеген агенттер катары 88 саат бою иштетилип, Навье-Стокс теңдемелери чектелген убакытта жарылып кетет деген Lean тарабынан тастыкталган далилди чыгарганын айтат — бул 1934-жылдан бери ачык турган Миң жылдык сыйлык маселеси. Он эки саат мурун, Нью-Йорк университетинин Тристан Бакмастер OpenAI менен жекшембидеги телефон чалуусунун ("Эмне үчүн карьераңды бузасың?") кандай өткөндүгү жөнүндө төрт барактык билдирүүсүн жарыялаган, Теренс Тао ачык маселелер азыр кайра калыбына келбес ресурс сыяктуу казылып жатканын жазган, жана Anthropic компаниясынын алдын ала үйрөтүүчү изилдөөчүсү жарыштан улам кызматтан кеткен. Ошондой эле: Meta өзүнүн VMи бар жеке агент Muse'ду ишке киргизди. Өкүм: КАЙРА КАРАП ЧЫГУУ КЕРЕК.

Canonical: https://thedailydiff.dev/ky/video/2026-09-09-navier-stokes-rumor/

## Бул видео эмнелерди камтыйт

- OpenAI: Навье–Стокс жарылышы, ~10 000 агент, 88 саат, 130B чыгаруу токендери, Lean тарабынан тастыкталган
- Бакмастер жана Алпоге: бир жыл бир эле ыкмага арналды, ушак жана эки сунуш менен жекшембидеги чалуу
- Теренс Тао: "кимдир бирөө маселенин үстүндө иштеп жатат деген ушак да аны тегиздөө үчүн AI аркылуу массалык аракеттерди жаратышы мүмкүн"
- Жейкоб Коксон Anthropic компаниясынан кызматтан кетти: эки лаборатория тең "өзүн-өзү өркүндөтүүчү супер интеллектке карай жарышууда"
- Meta Muse'ду ишке киргизди: WhatsApp ичинде, өзүнүн булуттагы VMинде иштеген жеке агент, АКШда гана

## Котормо стенограмма

Англис тилиндеги баштапкы баяндамадан которулган. Жеткиликтүү аудио жана коштомо жазуулар YouTube тарабынан көзөмөлдөнөт.

0:00 Кечээ OpenAI өзүнүн AI Миң жылдык сыйлык маселесин чечкендигин жарыялады, токсон жылдан бери ачык турган, бир миллион долларлык, сексен сегиз сааттын ичинде, жана бир жыл бою ошол эле маселенин үстүндө иштеген эки математик бул жөнүндө билди жекшембидеги телефон чалууда, алардын биринин айтымында, анын ичинде: эмне үчүн карьераңды бузасың? Узун дүйшөмбү болду. Таң атканда Нью-Йорк университетинин профессору жарыялады төрт барактык билдирүү; Hacker News'те миң алты жүз балл. Түштөн кийин OpenAI далилди жарыялады. Түштөн кийин OpenAI далилди жарыялады.

0:26 Кечинде Теренс Тао ачык маселелер азыр кайра калыбына келбес ресурс сыяктуу казылып жатат деди, жана түн ичинде Anthropic изилдөөчүсү X'тен кызматтан кетти, кырк төрт миллион көрүүлөр, анткени эки лаборатория тең, цитата, биздин өмүрүбүз менен кумар ойноп жатышат. Ошондой эле, Meta WhatsApp'та жашаган жана өзүнүн компьютери бар жеке агентти ишке киргизди. Бул видеодо: далил, телефон чалуу, шилтеме, жана Теренс Тао лабораториялар угушун каалаган сүйлөм.

0:49 Бүгүн шаршемби, 9-сентябрь, жана бул The Daily Diff. Алгач математика. Навье-Стокс суюктуктардын кантип кыймылдарын сүрөттөйт, жана 1934-жылдан бери эч ким тегиз 3D суюктук singularityге жете алабы же жокпу билген эмес: чектелген убакытта ылдамдык чексиздикке жетүүсү. Тегиз 3D суюктук singularityге жете алабы же жокпу билген эмес: чектелген убакытта ылдамдык чексиздикке жетүүсү. OpenAI системасы ооба дейт. Эс алуудан баштап, тегиз күч колдонуп, энергияны чектелген деңгээлде кармаңыз, жана куюн спагетти сыяктуу ичке карай буралып, ылдамдык жарылып кетет. Клэй формуласынын С жана Д билдирүүлөрү, Lean'де,

1:16 Астранын он жети сааты текшерүү үчүн. Ошентип суюктуктар жарылып кетиши мүмкүн, муну MacBook'уна кофе төгүп алган ар бир адам билген, бирок азыр ал Lean'де. Кантип: OpenAI'дын Астрага караганда кыйла жөндөмдүүрөөк деп атаган жаңы ички модели бар, жана 1-сентябрда алар эки Миң жылдык маселе чечилди деген ушакты угушкан, ошондуктан алар аны ар бир ачык маселеге багытташты. жана 1-сентябрда алар эки Миң жылдык маселе чечилди деген ушакты угушкан, ошондуктан алар аны ар бир ачык маселеге багытташты. Навье-Стокс тобу: болжол менен он миң бир убакта иштеген агент, жүз отуз миллиард чыгаруу токендери; бардык маселелер боюнча үч жүз миллиард.

1:42 Астранын баалары боюнча, он беш миллион долларлык токендер бир миллион долларлык сыйлык үчүн, OpenAI аны талап кылбайбыз дейт, жана ошол маржа менен, Астранын баалары боюнча, он беш миллион долларлык токендер бир миллион долларлык сыйлык үчүн, OpenAI аны талап кылбайбыз дейт, жана ошол маржа менен, ким талап кылмак эле. Экинчи тарап. Нью-Йорк университетинин Тристан Бакмастер жана Anthropic'те иштеген Левент Алпоге, бир жыл бою Кордова жана Мартинес-Зороа тарабынан Клод жана Кодекс менен болгон ыкманы өркүндөтүүгө жумшашкан, Бакмастердин өзүнүн изилдөө фонддорунан OpenAI'га төлөп. 15-августта алар Эйлер теңдемелери үчүн жарылууну алышты; Бакмастер биринчи LLM далилин ал окуган эң үрөй учурарлык деп атайт, 15-августта алар Эйлер теңдемелери үчүн жарылууну алышты; Бакмастер биринчи LLM далилин ал окуган эң үрөй учурарлык деп атайт,

2:10 жана ал 22-августта Lean'де тастыкталган. Андан кийин ушак тарады, жана 3-сентябрда ал OpenAI'га электрондук кат жазды: бул биз, бул жеке, жакында жарыялайбыз. жана 3-сентябрда ал OpenAI'га электрондук кат жазды: бул биз, бул жеке, жакында жарыялайбыз. Жекшемби күнү 12:45те OpenAI бүгүн каалаган убакта жолугушууну суранды, жана Себастьян Бубек кошулду. Бакмастерге модель мажбурланган Навье-Стокс теңдемесин өтө аз адамдын кийлигишүүсү менен далилдегенин айтышты, бул чалуу учурунда бүтүндөй командага айланды, Бакмастерге модель мажбурланган Навье-Стокс теңдемесин өтө аз адамдын кийлигишүүсү менен далилдегенин айтышты, бул чалуу учурунда бүтүндөй командага айланды, алгач оңой маселелер, Кодекс тарабынан жазылган сунуш, жана укмуштуудай эсептөө. Ал биринчи сунуш качан жөнөтүлгөнүн сурады.

2:36 алгач оңой маселелер, Кодекс тарабынан жазылган сунуш, жана укмуштуудай эсептөө. Ал биринчи сунуш качан жөнөтүлгөнүн сурады. Акыры: акыркы бир нече күндө, биздин иш жөнүндө маалымат OpenAI'га жеткенден кийин. Эки сунуш келип түштү. Акыры: акыркы бир нече күндө, биздин иш жөнүндө маалымат OpenAI'га жеткенден кийин. Эки сунуш келип түштү. Бири: силер Эйлерди жарыялайсыңар, биз эртеси Навье-Стоксту жарыялайбыз. Эки: Бакмастер жалгыз OpenAI далилин жазып чыгат, жана, ал айтат, Бубек эки жолу Алпогени кагаздан алып салууну каалады, анткени ал Anthropic'те иштейт. Ал баш тартып, коомчулукка жарыялайм деди. Жооп, билдирүүгө ылайык: эмне үчүн карьераңды бузасың,

3:00 андан кийин: эгер сен менин жакшы мамиле кылышымды каалабасаң, мен жакшы мамиле кылууга милдеттүү эмесмин. Адатта, аттын башы төшөктө пайда болгонго чейинки сап. OpenAI'дын версиясы: эч ким алардын ишин көргөн эмес, эч кандай колдонуучу маалыматтарына кирүү болгон эмес, жана, шилтеме, алар профессорлордун өнүмдөрүн колдонуусунан алынган идентификацияланбаган маалыматтар моделди жакшыртууга жардам берген эмес деп жокко чыгара алышпайт. жана, шилтеме, алар профессорлордун өнүмдөрүн колдонуусунан алынган идентификацияланбаган маалыматтар моделди жакшыртууга жардам берген эмес деп жокко чыгара алышпайт. Алпогенин карап чыгуусу: чындыкты айткандыгы үчүн аларга рахмат. Сэм Альтман баары ак ниеттүүлүк жана кең пейилдик менен иш алып барышканын айтат, ал эми башка команда Сэм Альтман баары ак ниеттүүлүк жана кең пейилдик менен иш алып барышканын айтат, ал эми башка команда

3:25 негизсиз плагиат айыптоолору менен коркуткан, бир "и" менен жазылган. Ошентип расмий позиция: биз силердин үй тапшырмаңарды көчүргөн жокпуз, биз силердин үй тапшырма аткарып жатканыңарды укканбыз. Теренс Тао профессорлордун жыйынтыгын укмуш деп атап, Бакмастер ага телефон аркылуу түшүндүргөнүн белгиледи, бул AI негизиндеги байланыш ыкмаларынан айырмаланып, сергитүүчү өзгөрүү болду. Теренс Тао профессорлордун жыйынтыгын укмуш деп атап, Бакмастер ага телефон аркылуу түшүндүргөнүн белгиледи, бул AI негизиндеги байланыш ыкмаларынан айырмаланып, сергитүүчү өзгөрүү болду. Андан кийин, төрт пост: жакшы ачык маселелер азыр кайра калыбына келбес ресурс сыяктуу казылып жатат, кимдир бирөө анын үстүндө иштеп жатат деген ушак да аны тегиздөө үчүн массалык AI аракетин жаратат, ошондуктан изилдөө багыттарын бөлүшүүнү токтотууга түрткү болот,

3:55 кылымдар бою ачык илимди артка кайтарат. Үч топ бир дем алыш күндөрү суюктуктун жарылышын жарыялады; кийинки документ NDA болушу мүмкүн. Бул Жейкоб Коксон Үч топ бир дем алыш күндөрү суюктуктун жарылышын жарыялады; кийинки документ NDA болушу мүмкүн. Бул Жейкоб Коксон кызматтан кеткен маанай: OpenAI'да үч жыл алдын ала машыгуу, андан кийин Anthropic; ал айтат, эки компания тең жоопкерчиликтүү иш алып барган жок, ал айтат, экөө тең өзүн-өзү өркүндөтүүчү супер интеллектке жарышууда, жана акыркы оюн жеке компаниянын Slack'инен башталбашы керек. Кырк төрт миллион көрүүлөр, бир лаборатория бир ушакка он миң агентти койгон күнү,

4:21 ошондуктан жип жандуу демо менен жөнөтүлдү. Ошол эле учурда, Meta Muse'ду ишке киргизди: өзүнүн булуттагы VMинде өзүнүн браузери бар жеке агент, жана сиз ага WhatsApp'та сүйлөшөсүз. АКШда гана, көпчүлүк нерселер үчүн акысыз. Meta быйыл, бул жылды сүрөттөөнүн өтө өзгөчө жолу, Meta да окуй албаган версиясын убада кылат. Meta быйыл, бул жылды сүрөттөөнүн өтө өзгөчө жолу, Meta да окуй албаган версиясын убада кылат. Hacker News'тун эң мыкты комментарийи: Мен жашоомду Meta менен мындай бөлүшкүм келбейт. Экинчи: ал мага коляска сатууга аракет кыла берет.

4:45 Эгер сиз муну мен айтканды уккандан көрө окугуңуз келсе, айырма күн сайын эртең менен почтаңызга келет — the daily diff dot dev дарегинен акысыз, шилтеме төмөндө. Эгер сиз муну мен айтканды уккандан көрө окугуңуз келсе, айырма күн сайын эртең менен почтаңызга келет — the daily diff dot dev дарегинен акысыз, шилтеме төмөндө. Ошентип — бүгүнкү өкүм: кайра карап чыгуу керек. Далил түзүлөт; окуя түзүлбөйт. Он миң агент токсон жылдык маселени бир дем алыш күндөрү жабуу - бул жылдын жөндөмдүүлүк жыйынтыгы; аны жекшембидеги телефон чалуу менен, бул жөнүндө уккан эки адамга жарыялоо андай эмес. жылдын жөндөмдүүлүк жыйынтыгы; аны жекшембидеги телефон чалуу менен, бул жөнүндө уккан эки адамга жарыялоо андай эмес.

5:07 Жана бул бүгүнкү айырма. Мен Axrisi'ден Нико. Жоопкерчиликтүү түрдө бириктирүү.

## Булактар

- [OpenAI: On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — openai.com
- [OpenAI Lean formalization](https://github.com/openai/NavierStokesAndEuler) — github.com
- [Tristan Buckmaster, statement (PDF)](https://cims.nyu.edu/~tristanb/statement.pdf) — cims.nyu.edu
- [HN: Buckmaster statement](https://news.ycombinator.com/item?id=49605915) — news.ycombinator.com
- [HN: OpenAI post](https://news.ycombinator.com/item?id=49613262) — news.ycombinator.com
- [Terence Tao on the Alpöge–Buckmaster result](https://mathstodon.xyz/@tao/117233527638291447) — mathstodon.xyz
- [Terence Tao: open problems mined non-renewably](https://mathstodon.xyz/@tao/117237320796901560) — mathstodon.xyz
- [HN: Tao thread](https://news.ycombinator.com/item?id=49616968) — news.ycombinator.com
- [Clay Mathematics Institute: Navier–Stokes problem statement](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — www.claymath.org
- [GPT-6 Astra pricing (used for the token-bill arithmetic)](https://openai.com/index/gpt-6-astra/) — openai.com
- [Jacob Coxon's resignation thread](https://x.com/hilbertspaess/status/2097476196791709843) — x.com
- [HN: I resigned from Anthropic today](https://news.ycombinator.com/item?id=49619227) — news.ycombinator.com
- [Meta: Introducing Muse](https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/) — about.fb.com
- [Muse](https://ai.meta.com/muse/) — ai.meta.com
- [HN: Muse](https://news.ycombinator.com/item?id=49615537) — news.ycombinator.com