ტრისტან ბაკმასტერი: სამი შედეგი ჰიდროდინამიკაში და კამათი OpenAI-სთან

სამი შედეგი, ერთი ჯერ გამოუქვეყნებელი

ნიუ-იორკის უნივერსიტეტის კურანტის ინსტიტუტის მათემატიკოსმა ტრისტან ბაკმასტერმა გამოაქვეყნა განცხადება სამ შედეგზე, რომლებიც ლევენტ ალპიოგესთან ერთად მიიღო: სასრულ დროში აფეთქება გლუვი იძულებითი ძალის პირობებში შეუკუმშველი ფოროვანი გარემოს, ბუსინესკისა და სამგანზომილებიანი ეილერის განტოლებებისთვის. მეოთხე შედეგი — ჰიპო-დისიპაციური ნავიე–სტოქსის განტოლების აფეთქება — ჯერ არ ქვეყნდება, სანამ მისი Lean-ვერიფიკაცია არ დასრულდება.

ბაკმასტერი ხაზს უსვამს, რომ პროგრამა მათი არ არის და ის ენობრივ მოდელს არ შემოუთავაზებია. იდეა დიეგო კორდობასა და ლუის მარტინეს-სოროას ეკუთვნის, რომლებიც წლების განმავლობაში იკვლევდნენ იძულებით აფეთქებებს; ბაკმასტერმა და ალპიოგემ მათი შედეგი უხეში ძალიდან გლუვ ძალამდე და ეილერის განტოლებებამდე მიიყვანეს.

15 აგვისტო და მოდელების როლი

წლის უმეტეს ნაწილში პროგრესი ნელი იყო; გარდატეხა 15 აგვისტოს მოხდა, როცა მათ ბუსინესკისა და ეილერის შედეგები მიიღეს. პირველი მოდელური მტკიცებულება, ბაკმასტერის თქმით, ყველაზე საშინელი იყო, რაც კი ოდესმე წაუკითხავს; 22 აგვისტოს ის Lean-ში დადასტურდა. ისინი იყენებდნენ Anthropic-ის Claude-სა და OpenAI-ის Codex-ს, განსაკუთრებით GPT-5.6 Sol-ს და ბოლო დროს Astra-ს — ეს უკანასკნელი მხოლოდ ტექსტების წერასა და არგუმენტების აუდიტს ემსახურებოდა.

ბაკმასტერი ღიად უკმაყოფილოა ტექსტებით: ბუსინესკისა და ეილერის ჩანაწერები უფრო წააგავს იმას, რასაც მოდელები ადამიანის ხელმძღვანელობით აწარმოებენ, ვიდრე ადამიანის დაწერილ ნაშრომს, ეილერის ტექსტი კი მხოლოდ „AI-ის ნაგავად" შეიძლება აღიწეროს. ის ბოდიშს იხდის და ამბობს, რომ ლუის მარტინეს-სოროა, მისი აზრით, Fields-ის მედალს იმსახურებს.

კამათი OpenAI-სთან

3 სექტემბერს, როცა გავრცელდა ხმები, რომ Anthropic-მა მნიშვნელოვანი ღია პრობლემა გადაჭრა, ბაკმასტერმა წერილი გაუგზავნა OpenAI-ის გამოჩენილ მათემატიკოსს. მოგვიანებით მას უთხრეს, რომ OpenAI-ის შიდა მოდელმა იძულებითი ნავიე–სტოქსის განტოლებებისთვის აფეთქების მტკიცებულება მოამზადა — „იძულებითი აფეთქების არსებობა R3-სა და T3-ში", გლუვი ფუნქციით, „c და d ვარიანტები Fefferman-ის ფორმულირებაში". მან ეს დაახლოებით 100-გვერდიანი მტკიცებულება არ ნახა. სიტყვა „იძულებითი", წერს ის, წითელი დროშა იყო: ეს სწორედ ის გზაა, რომელიც კორდობამ და მარტინეს-სოროამ გახსნეს და რომელიც მათ ჩუმად აირჩიეს.

მას უთხრეს, რომ მოდელს უბრალოდ პრობლემის ფორმულირება მისცეს, მაგრამ გაირკვა, რომ პრობლემაზე მთელი გუნდი მუშაობდა, რომ ნაჩვენები პრომპტიც კი Codex-ით დაიწერა და რომ უზარმაზარი გამოთვლითი რესურსი დაიხარჯა. საბოლოოდ შეთანხმდნენ, რომ პირველი პრომპტი ბოლო დღეებში გაიგზავნა — მას შემდეგ, რაც მათი მუშაობის შესახებ ინფორმაცია OpenAI-მდე მივიდა. კითხვაზე, იყო თუ არა მოდელი გაწვრთნილი მათ Codex-სესიებზე, უპასუხეს, რომ ის მომხმარებლის მონაცემებს არ ეძებს; ხელახლა კითხვას პასუხი არ მოჰყოლია.

მას ორი წინადადება შესთავაზეს: OpenAI-მა შედეგი ეილერის გამოქვეყნებიდან მეორე დღეს გამოაქვეყნოს, ან ბაკმასტერმა მარტომ დაწეროს ნაშრომი. ორივეზე უარი თქვა; როცა თქვა, რომ საჯაროდ ისაუბრებდა, პასუხი იყო: „რატომ გაანადგურებდი შენს კარიერას?" მან მტკიცებულება არ ნახა და არავის არაფერში ადანაშაულებს: თუ OpenAI-ის მოდელმა მართლა დახურა ეს უფსკრული, ეს აღსანიშნავია და ამის შესახებ ხმამაღლა უნდა ითქვას, ისტორიის შენარჩუნებით.