AI-ის მიერ Navier-Stokes-ის ამოხსნის გარღვევა: დავა OpenAI-სა და Anthropic-ის მკვლევრებს შორის

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

მათემატიკა

ბაკმასტერმა და ლევენტ ალპოგემ, Anthropic-ში დასაქმებულმა მათემატიკოსმა, დაახლოებით ერთი წელი დახარჯეს AI ინსტრუმენტების გამოყენებაზე, რათა გაეფართოებინათ დიეგო კორდობასა და ლუის მარტინეს-ზოროას მიერ დაწყებული კვლევითი პროგრამა. მათმა ნაშრომმა, რომელიც ორშაბათს გვიან გამოქვეყნდა Lean-ის დამხმარე მტკიცებულებებთან ერთად, აჩვენა, რომ რამდენიმე სითხის განტოლება, რომლებიც მჭიდროდ არის დაკავშირებული Navier-Stokes-თან – მათ შორის 3D შეუკუმშავი ეილერის განტოლებები – შეიძლება განვითარდეს სინგულარობებად სასრულ დროში გლუვი ზემოქმედების ქვეშ. ფილდსის მედლის მფლობელმა ტერენს ტაომ შედეგებს "შესანიშნავი მიღწევა" უწოდა და განაცხადა, რომ ვერ ხედავს "ფუნდამენტურ დაბრკოლებას" მეთოდების სრულ Navier-Stokes-ის განტოლებებზე გასავრცელებლად.newscientist+2

Navier-Stokes-ის განტოლებები, რომლებიც აღწერს სითხეების მოძრაობას, არის Clay Mathematics Institute-ის მიერ იდენტიფიცირებული შვიდი Millennium Prize-ის პრობლემიდან ერთ-ერთი, რომელთაგან თითოეული 1 მილიონი დოლარის ჯილდოს ითვალისწინებს. მათემატიკოსები ორი საუკუნეა ცდილობენ დაადგინონ, რჩება თუ არა განტოლებების ამონახსნები ყოველთვის გლუვი, თუ შეიძლება გადაიზარდოს სინგულარობებში.scientificamerican

დავა

ბაკმასტერის საჯარო განცხადების თანახმად, მის და ალპოგეს პროგრესზე ჭორები OpenAI-ს დაახლოებით 3 სექტემბერს მიუვიდა. რამდენიმე დღის შემდეგ, OpenAI-ის მეცნიერმა სებასტიან ბუბეკმა უთხრა მას, რომ შიდა მოდელმა შექმნა დაახლოებით 100-გვერდიანი მტკიცებულება, რომელიც შედეგს ავრცელებს სრულ იძულებით Navier-Stokes-ის განტოლებებზე. ბაკმასტერი ამტკიცებს, რომ კომპანიის მცდელობა მხოლოდ მას შემდეგ დაიწყო, რაც მისი მუშაობის შესახებ შეიტყვეს და რომ ის მიჰყვებოდა იმავე ვიწრო ტექნიკურ მიდგომას, რომელსაც ის და ალპოგე ჩუმად მისდევდნენ.officechai+1

ბაკმასტერი ამბობს, რომ ბუბეკმა ორჯერ სცადა ალპოგეს ავტორთა სიიდან ამოღება, მიზეზად Anthropic-ში მისი დასაქმება დაასახელა. როდესაც ბაკმასტერმა თქვა, რომ ამას საჯაროს გახდიდა, ის ამტკიცებს, რომ ბუბეკმა უპასუხა: "რატომ გაინადგურებ კარიერას?" მან ასევე თქვა, რომ ჰკითხა, იყო თუ არა OpenAI-ის მოდელი გაწვრთნილი მის პირად Codex-ის სესიის მონაცემებზე, რომელიც შეიცავდა მტკიცებულებების მონახაზებს. მან თქვა, რომ მკაფიო პასუხი არ მიუღია.scientificamerican+1

ბუბეკმა X-ზე უპასუხა, ბრალდებებს "ცრუ და პროვოკაციული" უწოდა და განაცხადა, რომ მოქმედებდა "აკადემიური ნორმების დაცვით". მან უფრო სრული განცხადების გაკეთება აღუთქვა.officechai

რა რჩება გადაუჭრელი

OpenAI-ის მიერ განცხადებული Navier-Stokes-ის მტკიცებულება არ გასაჯაროებულა და არც გარე მათემატიკოსების მიერ დადასტურებულა. ბაკმასტერ-ალპოგეს დადასტურებული შედეგებიც კი ეხება დაკავშირებული განტოლებების იძულებით ვერსიებს და არა Navier-Stokes-ის პრობლემას, როგორც ამას ექსპერტების უმეტესობა Millennium Prize-ის კონტექსტში განმარტავს. მანჩესტერის უნივერსიტეტის დევიდ სილვესტერმა აღნიშნა, რომ მიმდინარე ნაშრომი შესაძლოა მაინც საკმარისი იყოს პრიზის მოსაპოვებლად, ხოლო სარის უნივერსიტეტის კამილა ნობილიმ გააფრთხილა, რომ სრულ Navier-Stokes-ზე გაფართოება მოითხოვს მეტს, ვიდრე უბრალოდ იმავე ტექნიკის ხელახლა გამოყენებას.glitchwire+3

"ამ შედეგის გამო არაფერი შეიცვლება იმ აპლიკაციებში, სადაც Navier-Stokes გამოიყენება", – თქვა სილვესტერმა. "ეს გულწრფელად რომ ვთქვათ, მათემატიკური ნიუანსია". უფრო დიდი კითხვა – დაამახინჯებენ თუ არა კონკურენტი AI ლაბორატორიები მათემატიკური აღმოჩენების ნორმებს – შესაძლოა უფრო რთული გადასაჭრელი აღმოჩნდეს, ვიდრე თავად განტოლებები.newscientist