OpenAI-მ მეცნიერებაში სამი აღმოჩენა და აკადემიკოსებთან მუშაობის ახალი გზა გამოაცხადა

ამჯერად OpenAI ამბობს, რომ შედეგების გამოქვეყნების წესზე მეცნიერების ახალ რჩევებს გაითვალისწინებს.

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

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

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

კომპანია აღიარებს, რომ ამ მიდგომას შესაძლოა საკუთარი პრობლემები ჰქონდეს. მათემატიკის მრჩეველთა პანელმა AGMAI-მ კი გუშინ განაცხადა: „ვურჩევთ ხელოვნური ინტელექტის კომპანიებს, არ დანერგონ“ გარკვეული ადამიანებისთვის შედეგებზე პირველადი წვდომის მინიჭების პრაქტიკა. პანელმა შესაძლო პრობლემებს შორის არათანაბარი წვდომა, სხვისი რეპუტაციით სარგებლობა და მიკერძოებული შერჩევა დაასახელა. ამის ნაცვლად, მომავალში ხელოვნური ინტელექტის ლაბორატორიებმა შედეგები სამეცნიერო საცავებში უნდა გამოაქვეყნონ, Lean-ში ფორმალიზებული მტკიცებულებებითა და ინფორმაციით იმის შესახებ, თუ როგორ შეირჩა ამოცანები. მათ ასევე უნდა დააფინანსონ ადამიანები, რომლებიც შედეგების გააზრებაზე მუშაობენ, და სხვა შესაბამისი ინფორმაცია მიაწოდონ საზოგადოებას.

ფიზიკის შესახებ ინფორმაცია სრულად არ გამოქვეყნებულა. ის წარმოადგენს „მათემატიკურად მკაცრ არსებობის მტკიცებულებას ოთხ განზომილებაში გარკვეული ურთიერთქმედი კვანტური ველის თეორიებისთვის, რომლებიც შეიცავს ლიანდაგურ ველებსა და ფერმიონებს, მათ შორის კვანტურ ქრომოდინამიკასა (QCD) და ნაწილაკების ფიზიკის სტანდარტული მოდელის ერთიან დასრულებას“. OpenAI-ის ცნობით, „დევიდ გროსი უხელმძღვანელებს ჯგუფს, რომელშიც მაიკლ დუგლასი, არტურ ჯაფე, იგორ კლებანოვი და ნიკიტა ნეკრასოვი შევლენ და რომელიც ამ სამუშაოს წარმართავს“.