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

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

• 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-დან. შეაერთეთ პასუხისმგებლობით.

წყაროები

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