ნობელის პრემიის ლაურეატის კომისიამ OpenAI-ის იანგ-მილსის თეორიის დამტკიცება დაადასტურა

ნობელის პრემიის ლაურეატ დევიდ გროსის თავმჯდომარეობით მოქმედმა ხუთწევრიანმა კომისიამ დაასკვნა, რომ OpenAI-ის მიერ მანქანურად შემოწმებული დამტკიცება კვანტური იანგ-მილსის თეორიის არსებობას ადასტურებს. კომისიამ ასევე აღნიშნა, რომ ეს შედეგი არ წყვეტს მასის ხვრელის საკითხს, რაც კლეის მათემატიკის ინსტიტუტის 1 მილიონი დოლარის ოდენობის ათასწლეულის პრიზის ნაწილია. იანგ-მილსის სამუშაო ჯგუფმა თავის მესამე განცხადებაში აღნიშნა, რომ სამშაბათს, 10 ნოემბერს, GitHub-ის ორ რეპოზიტორიას გამოაქვეყნებდა. ერთი შეიცავს Lean-ის სრულ კოდს, რომელიც OpenAI-მ 28 ოქტომბერს წარადგინა, ხოლო მეორე მოიცავს ვალიდაციის ანგარიშს, სადაც ნათქვამია, რომ წარდგენილი ნამუშევარი "ამტკიცებს სუფთა იანგ-მილსის თეორიის არსებობას ფიზიკასა და მათემატიკაში სტანდარტული ამოცანების პირობების შესაბამისად".kitp.ucsb.edu

რა დაადგინა კომისიამ

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

კომისიამ თავისი შენიშვნაც დაამატა. მან კოდის გაანალიზებაში OpenAI-ის Astra მოდელი გამოიყენა და განაცხადა, რომ "ჯერ არ აცხადებს პრეტენზიას დამტკიცების სრულად გაგებაზე". რეცენზიას არ გამოუყენებია ცალკეული წერილობითი მანუსკრიპტი. ჯგუფმა ასევე აღნიშნა, რომ მას "ამჟამად არანაირი კავშირი არ აქვს კლეის მათემატიკის ინსტიტუტთან", ასე რომ, მისი დასკვნა არ წარმოადგენს საპრიზო გადაწყვეტილებას.fourweekmba.com+1

როგორ მიაღწია დამტკიცებამ რეცენზენტებამდე

OpenAI-ის განცხადებით, მისმა მოდელებმა იანგ-მილსის არსებობის წერილობითი დამტკიცება 9 სექტემბერს მოამზადეს, ხოლო კვანტური ქრომოდინამიკის დამტკიცება 18 სექტემბერს. კომპანიამ Lean-ში იანგ-მილსის შედეგის ფორმალიზება 16 ოქტომბერს დაასრულა. იმავე დღეს OpenAI-მ გროსს სთხოვა დამტკიცებაზე პასუხისმგებლობის აღება და მისი გამოქვეყნების მართვა. გროსი თეორიული ფიზიკის კავლის ინსტიტუტის მუდმივი წევრია. კომისიის სხვა წევრები არიან მაიკლ დაგლასი, არტურ ჯაფე, იგორ კლებანოვი და ნიკიტა ნეკრასოვი.openai.com+2

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

რა რჩება ღიად

1,147-გვერდიანი სრული დამტკიცება ჯერ არ გამოქვეყნებულა. კომიტეტმა განაცხადა, რომ დამტკიცებებს თავის შეფასებასთან ერთად გამოაქვეყნებს "მაშინ, როდესაც ხარისხითა და სისწორით კმაყოფილი ვიქნებით". ჯგუფის ღიად დარჩენილ კითხვებს შორის არის: არის თუ არა უსასრულო მოცულობის ზღვარი ერთადერთი, არსებობს თუ არა თანაბარი მასის ხვრელი და უილსონის მარყუჟის ფართობის კანონი. OpenAI-ის მეორე განაცხადი, დათარიღებული 4 ნოემბრით, მითითებულია, როგორც მიმდინარე სამუშაო.kitp.ucsb.edu+1