ინჟინრები: OpenAI-ის მიერ Navier-Stokes-ის დამტკიცება ჰიდროდინამიკაში დიდ ცვლილებებს არ მოიტანს

8 სექტემბერს OpenAI-მ გამოაცხადა, რომ გამოუქვეყნებელმა შიდა AI სისტემამ შექმნა მტკიცებულება იმისა, რომ სამგანზომილებიანი Navier-Stokes-ის განტოლებებს შეუძლიათ სასრულ დროში სინგულარობის განვითარება, რაც პოტენციურად წყვეტს Clay Mathematics Institute-ის მიერ 2000 წელს დასმულ ექვსი „ათასწლეულის პრიზის“ პრობლემათაგან ერთ-ერთს. კომპანიამ გამოაქვეყნა 166-გვერდიანი ნაშრომი და ფორმალური ვერიფიკაცია Lean-ის დამტკიცების ასისტენტში, თუმცა შედეგი ჯერ კიდევ ელოდება დამოუკიდებელ ექსპერტთა შეფასებას.OpenAI+3

რას ამტკიცებს კვლევა

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

OpenAI აცხადებს, რომ მისმა სისტემამ ააგო სცენარი, რომელშიც მოსვენებულ მდგომარეობაში მყოფი სითხე, გლუვი გარე ძალის ზემოქმედებით, ქმნის მორევს, რომელიც სპირალურად იკეცება და სასრულ დროში ავითარებს შეუზღუდავ სიჩქარეს, ხოლო ინარჩუნებს სასრულ ენერგიას. „ჩვენი მტკიცებულება აჩვენებს, რომ არსებობენ სითხეები, რომლებიც იწყებენ სრულიად ნორმალურად და Navier-Stokes-ის განტოლებების მიხედვით, რეალურად აღწევენ უსასრულო სიჩქარეს სასრულ დროში“, განაცხადა OpenAI-ის კომპიუტერულმა მეცნიერმა ვენ ჩანდრასეკარანმა პრესბრიფინგზე, როგორც ამას Nature იტყობინება. კომპანიამ განაცხადა, რომ არ აპირებს 1 მილიონი დოლარის პრიზის მოთხოვნას.nature+3

გამოთვლითი ძალისხმევა მოიცავდა დაახლოებით 10 000 ერთდროულ AI აგენტს, რომლებიც მუშაობდნენ მოდელზე, რომელიც აღწერილია როგორც უფრო მძლავრი, ვიდრე GPT-6 Astra. აგენტებმა შედეგს მიაღწიეს დაახლოებით 88 საათიანი მუშაობის შემდეგ, რომელიც დაიწყო 1 სექტემბერს, დამატებით 17 საათით Lean-ის ფორმალიზაციისთვის.thebrighterside+1

პრიორიტეტული დავა

განცხადებამ გამოიწვია დავა მათემატიკურ პრიორიტეტთან დაკავშირებით. NYU-ს მათემატიკოსი ტრისტან ბაკმასტერი და Anthropic-ის მკვლევარი ლევენტ ალპოგე AI ინსტრუმენტების, მათ შორის OpenAI-ის Codex-ის გამოყენებით, პროგრესს აღწევდნენ მსგავს „blowup“ პრობლემებში. საჯარო განცხადებაში ბაკმასტერმა დაწერა: „მე არ მინახავს OpenAI-ის მტკიცებულება. არ ვიცი, რა გააკეთა მათმა მოდელმა ან როგორ. არ ვიცი, გამოყენებული იყო თუ არა ჩვენი მონაცემები. მე არავის ვადანაშაულებ“. The New York Times-მა გაავრცელა ინფორმაცია, რომ OpenAI-მ განაცხადა, რომ „კატეგორიულად“ შეუძლებელია, მის სისტემაზე გავლენა მოეხდინა ბაკმასტერის ბოლო ნაშრომს.nytimes+2

რეალური გავლენა ჯერ კიდევ შორსაა

ინჟინრები ამბობენ, რომ შედეგი, თუ დადასტურდა, უახლოეს მომავალში ცოტას შეცვლის. „მოკლედ რომ ვთქვათ, არაფერს“, თქვა ჯასტინ ბეროზმა, საინჟინრო ფირმა ReynKo-ს აღმასრულებელმა დირექტორმა, პრაქტიკულ ჰიდროდინამიკაზე გავლენის შესახებ. NYU-ს ასისტენტ-პროფესორმა ფლორიან შეფერმა აღნიშნა, რომ განტოლებები უკვე განიხილება როგორც მიახლოებითი და აგებული სინგულარობის სცენარი ზედმეტად ხელოვნურია იმისთვის, რომ რეალურ სამყაროში არსებულ აპლიკაციებზე მოახდინოს გავლენა.scientificamerican

ფილდსის მედლის მფლობელმა ტერენს ტაომ გამოთქვა უფრო ფართო შეშფოთება AI-ზე დაფუძნებული მათემატიკური აღმოჩენების ტემპთან დაკავშირებით. „ეს ცოტათი ჰგავს ფილმის ყურებას, სადაც პირველი ათი წუთიდან პირდაპირ ბოლო ათ წუთზე გადადიხარ“, უთხრა ტაომ The Brighter Side of News-ს. „ტექნიკურად, ყველა სიუჟეტური ხაზი გადაწყვეტილია, მაგრამ გამოცდილების ღირებულების უმეტესი ნაწილი დაიკარგა“. Clay Mathematics Institute-ი კვლავ აგრძელებს Navier-Stokes-ის ჩამონათვალს თავის გადაუჭრელ პრობლემებს შორის და მტკიცებულების ფორმალური მიღება კვლავ ღია კითხვად რჩება.popularai+1