PSI-ის განცხადებით, Anthropic-ის AI-მ კვანტური ჰიპოთეზა დაამტკიცა

Physical Superintelligence (PSI), ფიზიკაზე ორიენტირებულმა AI სტარტაპმა, პარასკევს, 6 ნოემბერს განაცხადა, რომ მის მიერ შექმნილმა კვლევითმა სისტემამ დაამტკიცა არონსონ-ამბაინისის ჰიპოთეზა, კვანტური სირთულის პრობლემა, რომელიც 2008 წლიდან იყო ღია. დამტკიცება მოხდა Anthropic-ის საჯაროდ მიუწვდომელი მოდელის გამოყენებით. კომპანიის თქმით, სისტემამ მუშაობის მესამე დღეს სრული მტკიცებულება მიიღო, რომელიც Lean-ის დამხმარე პროგრამამ დაადასტურა. შედეგი ჯერ არ გასულა სამეცნიერო რეცენზირება. ამ ეტაპზე ეს კომპანიის განცხადებაა, თუმცა ნაშრომი და მანქანურად შემოწმებული მტკიცებულება საჯაროა, რაც გარე ექსპერტებს მისი შემოწმების საშუალებას აძლევს.psi.inc

რას ამტკიცებს ნაშრომი

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

პირველმა მტკიცებულებამ უფრო სუსტი ზღვარი მოგვცა. მას შემდეგ, რაც PSI-მ სისტემა მსგავს ღია პრობლემებზე მიმართა, შედეგი ორჯერ გაუმჯობესდა და Lean-მა საბოლოო ვერსია მიიღო. არგუმენტი მიჰყვება შაჩარ ლოვეტისა და ჯიაპენგ ჟანგის გეგმას. ის ანაცვლებს მათ მიერ ჰიპოთეზად დატოვებულ უტოლობას ახლით, რომელიც დამტკიცდა დეტერმინანტის მეშვეობით შეტანილი პარამეტრების დაწყვილებით.psi.inc

ადამიანური როლები და შემოწმება

PSI-ის თანამშრომელმა დევიდ ტურტურიანმა ააგო და გაუშვა სისტემა, მოდელს ნაშრომის შედგენა დაავალა და პასუხისმგებელია მის სისწორეზე. მრჩევლებმა ჯიმ ჰალვერსონმა და ფიალა შანაჰანმა მტკიცებულება აუდიტირეს და ფორმალიზაციაზე კომენტარი გააკეთეს. პროექტის GitHub-ის რეპოზიტორის მიხედვით, მტკიცებულება, ნაშრომი და ფორმალიზაცია AI მოდელების მიერ არის შექმნილი. ასევე აღნიშნულია, რომ Lean-ის თეორემები არ შეიცავს ჩასმულებს ან დამატებით აქსიომებს და ხელახლა შემოწმდა ორი დამოუკიდებელი ბირთვის იმპლემენტაციით. მკითხველებმა მაინც უნდა დაადასტურონ, რომ ფორმალური დებულება ემთხვევა ორიგინალ ჰიპოთეზას.github.com+1

სტენფორდის მკვლევარებმა გაი ბლანკმა, ჯორდან დოქტერმა, კარმენ შრასლემ და ლი-იანგ ტანმა აგვისტოში კერძო შემთხვევა გადაწყვიტეს. ისინი კითხულობენ სრულ მტკიცებულებას და PSI-ის მიერ გამოქვეყნებულ განცხადებაში მას "უზარმაზარი შედეგი" უწოდეს, სადაც "ყველაფერი საკმაოდ ჯადოსნური გზით არის გაერთიანებული".psi.inc

უპასუხო კითხვები

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