OpenAI აცხადებს, რომ ხელოვნურმა ინტელექტმა 100-ზე მეტი მათემატიკური ამოცანა ამოხსნა, თუმცა მტკიცებულებებს არ წარადგენს

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

განცხადებასთან ერთად, OpenAI-მ გაამხილა მათემატიკისა და ხელოვნური ინტელექტის საკონსულტაციო ჯგუფის შექმნა, რომელიც პრინსტონის Institute for Advanced Study-ში განთავსდება. ჯგუფის მიზანია ხელოვნური ინტელექტის სისტემების მიერ მიღებული მათემატიკური შედეგების შემოწმება, სანამ ისინი დამტკიცებულად ჩაითვლება.the-decoder+1

მნიშვნელოვანი განცხადება დოკუმენტაციის გარეშე

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

OpenAI-მ პირველად 8 სექტემბერს განაცხადა, რომ მისმა ხელოვნურმა ინტელექტმა ნავიე-სტოქსის პრობლემა 88 საათში, დაახლოებით 10 000 აგენტის გამოყენებით გადაჭრა. 21 სექტემბრის განცხადებამ მასშტაბი მკვეთრად გააფართოვა, დაამატა რა 100-ზე მეტი ახალი ამოხსნილი პრობლემა და, The Decoder-ის თანახმად, ათასწლეულის მეორე პრიზის ამოცანის, ჰოჯის ჰიპოთეზის გადაჭრაც.the-decoder+2

მათემატიკოსები, რომლებმაც შეისწავლეს ნავიე-სტოქსის ადრინდელი 166-გვერდიანი ხელნაწერი, ამბობენ, რომ მისი Lean ფორმალიზაცია სწორად კომპილირდება, რაც მიუთითებს, რომ მტკიცებულება ტექნიკურად ვალიდურია, მაგრამ თავად ნაშრომი თითქმის წაუკითხავია. "ნაშრომი ადამიანებისთვის არ არის დაწერილი", – განაცხადა ბრაუნის უნივერსიტეტის მათემატიკოსმა ხავიერ გომეს-სერანომ. ოქსფორდის უნივერსიტეტის ჯეიმს მეინარდმა დაამატა, რომ "ამ ახალი ხელოვნური ინტელექტის მტკიცებულებიდან ადამიანური გაგების გამოტანა ძალიან რთულია".npr

დავა პუბლიკაციის აჩქარების გამო

ამ ეპიზოდმა მათემატიკურ საზოგადოებაში მკაცრი კრიტიკა გამოიწვია. ფილდსის მედლის ოცდახუთმა ლაურეატმა, მათ შორის ტერენს ტაომ და ჯუნ ჰუმ, 11 სექტემბერს გამოაქვეყნეს ღია წერილი სათაურით "ხელოვნური ინტელექტის მძიმე შეუსაბამობა მათემატიკაში", სადაც აფრთხილებენ, რომ ამოცანების ამოხსნის ხელოვნური ინტელექტის საზომად გამოყენება ძირს უთხრის კონცეპტუალურ გაგებას, რაც დისციპლინის ცენტრალური ნაწილია.the-decoder+1

ტ რისტან ბაკმასტერმა, ნიუ-იორკის უნივერსიტეტის მათემატიკოსმა, რომელიც Anthropic-ის თანამშრომელ ლევენტ ალპოგესთან ერთად ნავიე-სტოქსის ამოხსნას უახლოვდებოდა, OpenAI დაადანაშაულა მათი მიდგომის შესწავლასა და პირველობისთვის რბოლაში. ბაკმასტერის თქმით, OpenAI-მ შესთავაზა მას ნაშრომში ჩართვა, თუ ის ალპოგესთან თანამშრომლობას შეწყვეტდა. "არსებობს იმდენი ირიბი მტკიცებულება, რომ მათ ბევრად მეტი იცოდნენ ჩვენი საქმიანობის შესახებ, ვიდრე ამას აჩვენებდნენ", – განუცხადა ბაკმასტერმა NPR-ს. OpenAI-მ უარყო მათი ნაშრომის გამოყენება.npr

საკონსულტაციო ჯგუფი შეზღუდვებით

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

თუმცა, ჯგუფს აქვს ჩაშენებული შეზღუდვა: მას არ აქვს უფლებამოსილება, აკონტროლოს, თუ რამდენად სწრაფად მიიწევს OpenAI წინ მათემატიკაში. "მნიშვნელოვანია, რომ ჯგუფი არ იქნება პასუხისმგებელი ჩვენი შიდა პროგრესის ტემპის რეგულირებაზე", – წერს OpenAI.the-decoder+1

კლეის მათემატიკის ინსტიტუტმა, რომელსაც თავის ისტორიაში მხოლოდ ერთი ათასწლეულის პრიზი აქვს გაცემული, 11 სექტემბრის განცხადებაში აღნიშნა, რომ მისი შეფასების პროცესი "განზრახ აუჩქარებელია" და მოითხოვს პუბლიკაციას შესაბამის ჟურნალში, რასაც მოჰყვება მინიმუმ ორწლიანი საყოველთაო აღიარება, სანამ პრიზის გაცემაზე ფიქრი დაიწყება. OpenAI-ს მიერ გაცხადებული არცერთი შედეგი არ გამოქვეყნებულა, რაც იმას ნიშნავს, რომ ეს დრო ჯერ არ დაწყებულა.mixed-news