# OpenAI ამბობს, რომ მან ამოხსნა ნავიე-სტოქსის განტოლება. განაჩენი: NEEDS REVIEW.

Published: 2026-09-09

OpenAI ამბობს, რომ შიდა მოდელმა, რომელიც მუშაობდა დაახლოებით 10,000 პარალელურ აგენტად 88 საათის განმავლობაში, შექმნა Lean-ის მიერ დადასტურებული მტკიცებულება იმისა, რომ ნავიე-სტოქსის განტოლებები სასრულ დროში ფეთქდება — Millennium Prize-ის პრობლემა, რომელიც 1934 წლიდან გადაუჭრელი იყო. თორმეტი საათით ადრე, ნიუ-იორკის უნივერსიტეტის ტრისტან ბაკმასტერმა გამოაქვეყნა ოთხგვერდიანი განცხადება იმის შესახებ, თუ როგორ წარიმართა კვირას OpenAI-სთან სატელეფონო საუბარი ("რატომ გაინადგურებდი კარიერას?"), ტერენს ტაომ დაწერა, რომ ღია პრობლემები ახლა მოპოვებულია, როგორც არამატერიალური რესურსი, და Anthropic-ის წინასწარი ტრენინგის მკვლევარი გადადგა რბოლის გამო. ასევე: Meta-მ გამოუშვა Muse, პირადი აგენტი საკუთარი VM-ით. განაჩენი: NEEDS REVIEW.

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

## რას მოიცავს ეს ვიდეო

- OpenAI: ნავიე-სტოქსის აფეთქება, ~10,000 აგენტი, 88 საათი, 130 მილიარდი გამავალი ტოკენი, Lean-დადასტურებული
- ბაკმასტერი და ალპოგე: ერთი წელი იმავე მიდგომაზე, ჭორი და კვირის ზარი ორი შეთავაზებით
- ტერენს ტაო: "თუნდაც ჭორი იმის შესახებ, რომ ვინმე მუშაობს პრობლემაზე, შეუძლია გამოიწვიოს AI-ზე დაფუძნებული მასიური ძალისხმევა მის გასასწორებლად"
- ჯეიკობ კოქსონი ტოვებს Anthropic-ს: ორივე ლაბორატორია "მიდის თვითგანვითარებადი სუპერინტელექტისკენ"
- Meta-მ გამოუშვა Muse: პირადი აგენტი საკუთარ ღრუბლოვან VM-ზე, WhatsApp-ში, მხოლოდ აშშ-ში

## ნათარგმნი ტრანსკრიპტი

ნათარგმნია ორიგინალური ინგლისური ნარატივიდან. ხელმისაწვდომი აუდიო და სუბტიტრები კონტროლდება YouTube-ის მიერ.

0:00 გუშინ OpenAI-მ განაცხადა, რომ მისმა AI-მ ამოხსნა Millennium Prize-ის პრობლემა, ოთხმოცდაათი წელი გადაუჭრელი, ერთი მილიონი დოლარი, ოთხმოცდარვა საათში, და ორმა მათემატიკოსმა, რომლებმაც ერთი წელი დახარჯეს იმავე პრობლემაზე, ამის შესახებ შეიტყვეს კვირას სატელეფონო ზარით, რომელიც, ერთ-ერთი მათგანის თქმით, მოიცავდა: რატომ გაინადგურებდი შენს კარიერას? ეს იყო გრძელი ორშაბათი. გათენებისას ნიუ-იორკის უნივერსიტეტის პროფესორმა გამოაქვეყნა ოთხგვერდიანი განცხადება; ათას ექვსასი ქულა Hacker News-ზე. შუადღისას OpenAI-მ გამოაქვეყნა მტკიცებულება.

0:26 საღამოს ტერენს ტაომ თქვა, რომ ღია პრობლემები ახლა მოპოვებულია, როგორც არამატერიალური რესურსი, და ღამით Anthropic-ის მკვლევარი გადადგა X-ზე, ორმოცდაოთხი მილიონი ნახვა, რადგან ორივე ლაბორატორია, ციტატა: ჩვენი სიცოცხლეების აზარტული თამაში. ასევე, Meta-მ გამოუშვა პირადი აგენტი, რომელიც ცხოვრობს WhatsApp-ში და აქვს საკუთარი კომპიუტერი. ამ ვიდეოში: მტკიცებულება, სატელეფონო ზარი, სქოლიო, და წინადადება, რომლის მოსმენაც ტერენს ტაოს სურს ლაბორატორიებისგან.

0:49 დღეს ოთხშაბათია, 9 სექტემბერი, და ეს არის The Daily Diff. ჯერ მათემატიკა. ნავიე-სტოქსი აღწერს, თუ როგორ მოძრაობს სითხეები, და 1934 წლიდან არავინ იცოდა, შეეძლო თუ არა გლუვ 3D სითხეს მიაღწიოს სინგულარობამდე: სიჩქარე უსასრულობამდე მიდის სასრულ დროში. OpenAI-ს სისტემა ამბობს დიახ. დაიწყეთ დასვენებიდან, გამოიყენეთ გლუვი ძალა, შეინარჩუნეთ ენერგია სასრულად, და მორევი სპირალურად შედის შიგნით სპაგეტის მსგავსად, სანამ სიჩქარე არ აფეთქდება. კლეის ფორმულირების C და D განცხადებები, Lean-ში,

1:16 ჩვიდმეტი საათი Astra-სთვის გადამოწმებისთვის. ასე რომ, სითხეებს შეუძლიათ აფეთქდეს, რაც ყველამ იცოდა, ვინც ყავა დააქცია MacBook-ზე, მაგრამ ახლა ეს Lean-შია. როგორ: OpenAI-ს აქვს ახალი შიდა მოდელი, რომელსაც ის მნიშვნელოვნად უფრო ქმედითად თვლის, ვიდრე Astra, და 1 სექტემბერს მათ გაიგეს ჭორი, რომ ორი Millennium პრობლემა მოგვარებული იყო, ამიტომ მათ ის მიმართეს ყველა ღია პრობლემისკენ. ნავიე-სტოქსის ჯგუფი: დაახლოებით ათი ათასი პარალელური აგენტი, ასი ოცდაათი მილიარდი გამავალი ტოკენი; სამასი მილიარდი ყველა

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 თუ ამის წაკითხვა გირჩევნიათ, ვიდრე მოსმენა, განსხვავება თქვენს ინბოქსში მოდის ყოველ დილით — უფასო the daily diff dot dev-ზე, ბმული ქვემოთ. ასე რომ — დღევანდელი განაჩენი: NEEDS REVIEW. მტკიცებულება კომპილირდება; ამბავი არა. ათი ათასი აგენტი, რომელიც ხურავს ოთხმოცდაათი წლის პრობლემას ერთ შაბათ-კვირას, არის წლის შესაძლებლობის შედეგი; მისი გამოცხადება კვირას სატელეფონო ზარით ორ ადამიანთან, ვისგანაც ამის შესახებ გაიგეთ, არ არის.

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