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

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

მათემატიკისა და ფიზიკის შედეგები

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

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

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

გამოქვეყნების პრაქტიკის დებატები

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

კონტექსტი

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

წყაროები: The Verge · Techmeme