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

OpenAI-ის განცხადებით, მისმა შიდა AI მოდელებმა მათემატიკაში, კომპიუტერულ მეცნიერებასა და ფიზიკაში დამტკიცებები შექმნეს, მათ შორისაა მტკიცება, რომ კომპიუტერულ მეცნიერებაში ერთი ცენტრალური დაშვება მცდარია, და მტკიცება, რომ Millennium Prize Problem-ის ნაწილი დამტკიცებულია. OpenAI-მ გარე ექსპერტებს, მათ შორის ნობელის პრემიის ლაურეატს, სთხოვა შედეგების შემოწმება და იმის დადგენა, მართებულია თუ არა ეს მტკიცებები.

კომპიუტერული მეცნიერება: ETH ეჭვქვეშ დგება

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

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

მათემატიკა: ლოკალური გლუვება ყველა განზომილებაში

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

ფიზიკა: კვანტური ველის თეორიის არსებობა

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

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

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

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

წყაროები: The Decoder