ხელოვნური ინტელექტი კვანტურ ფიზიკაში კიდევ ერთ ნაბიჯს დგამს: კომპანია Physical Superintelligence-მა (PSI) 23 ოქტომბერს გამოაქვეყნა ახალი შედეგები კვანტური ინფორმაციის თეორიის ხუთ ღია ამოცანაზე. კომპანიის თქმით, მის მკვლევრებს ამ შედეგების მიღებაში საკუთარი AI კვლევითი სისტემა ეხმარებოდა. თითოეულ შედეგს თან ახლავს სამეცნიერო ნაშრომი, Lean-ში ჩაწერილი ფორმალური დამტკიცება და შესამოწმებელი კოდი.
ამოცანები აღებულია Open Quantum Problems-ის სიიდან. ეს არის ვენის კვანტური ოპტიკისა და კვანტური ინფორმაციის ინსტიტუტის (IQOQI) მიერ შეგროვებული ღია კითხვები, რომლებზეც მეცნიერებს ჯერ პასუხი არ აქვთ.
სარჩევი
რას ნიშნავს ეს მარტივად
ხუთივე ამოცანა კვანტურ ჩახლართულობას (entanglement) ეხება. ეს არის მდგომარეობა, როცა ორი ნაწილაკი ისეა დაკავშირებული, რომ ერთის გაზომვის შედეგი მეორისას განსაზღვრავს, რაც არ უნდა შორს იყვნენ ერთმანეთისგან. ჩახლართულობაზეა აგებული კვანტური კომპიუტერები და დაცული კვანტური კავშირი, ამიტომ მნიშვნელოვანია ზუსტად ვიცოდეთ, როდის ჩნდება, როდის ქრება და რისი გაკეთება შეიძლება მისით.
ხუთი შედეგი
OQP 2: „დამალული“ ჩახლართულობა
ზოგ კვანტურ მდგომარეობაში ჩახლართულობა არსებობს, მაგრამ შეიძლება ისე იყოს „დამალული“, რომ მისი გამოყენებად ფორმაში (ე.წ. ბელის წყვილებად) გამოწურვა შეუძლებელი იყოს. PSI-მ ვერნერის მდგომარეობებზე, ერთ კონკრეტულ დიაპაზონში, აჩვენა, რომ ასეთი მდგომარეობის სამი ასლიდანაც კი ბელის წყვილის მიღება შეუძლებელია. მთავარი კითხვა, ანუ რა ხდება ნებისმიერი რაოდენობის ასლისას, ღია რჩება.
OQP 12: ჩახლართულობა ვაკუუმში
ფიზიკაში „ცარიელ“ სივრცესაც, ვაკუუმს, შეიძლება ჩახლართულობა ჰქონდეს. PSI-მ დაამტკიცა, რომ კონკრეტული ტიპის ველის შემთხვევაში სივრცის ორი შემოსაზღვრული უბანი გარკვეული მანძილის შემდეგ ბელის უტოლობას (CHSH) ვეღარ არღვევს, თუმცა ჩახლართული რჩება ნებისმიერ მანძილზე. სხვა სიტყვებით, ჩახლართულობა არსებობს, მაგრამ მას „კლასიკურისგან განსხვავებულ“ ქცევად ვერ გამოავლენ.
OQP 27: საუკეთესო გაზომვა
ბელის უტოლობის დარღვევა კვანტური სამყაროს ერთ-ერთი მთავარი ნიშანია. PSI-მ დაამტკიცა, რომ ერთი კონკრეტული ტესტისთვის (CGLMP) საუკეთესო შედეგს ე.წ. ფურიეს ფაზური გაზომვები იძლევა და რომ ყველა სხვა საუკეთესო სტრატეგია არსებითად მათი ტოლფასია.
OQP 38: რამდენი ნაბიჯი ანადგურებს ჩახლართულობას
კითხვაა, რამდენი გარკვეული ტიპის (PPT) კვანტური გარდაქმნის ზედიზედ გამოყენებაა საჭირო, რომ ჩახლართულობა ბოლომდე გაქრეს. როგორც PSI წერს, OpenAI-ის ბოლოდროინდელმა წინასწარმა ნაშრომმა (preprint) აჩვენა, რომ ზოგად შემთხვევაში ორი არ კმარა. PSI-მ დაამტკიცა ზედა ზღვარი: d-განზომილებიან სისტემაზე 2(d−1) ასეთი გარდაქმნა საკმარისია. ეს ზღვარია და არა ზუსტი პასუხი.
OQP 43: ერთადერთი სუფთა პასუხი
კითხვა იყო, შეიძლება თუ არა ყველა „მიზეზობრივი“ კვანტური პროცესი აღიწეროს როგორც უფრო დიდი, სასრულგანზომილებიანი და შექცევადი პროცესის ნაწილი. PSI-მ ააგო კონტრმაგალითი: ასეთი პროცესები არსებობს, რომლებიც ამ აღწერას არ ექვემდებარება. ხუთიდან მხოლოდ ეს შედეგი იძლევა კითხვაზე პირდაპირ პასუხს, დანარჩენი ოთხი შეფასება ან ნაწილობრივი შედეგია.
როგორ გამოიყენეს ხელოვნური ინტელექტი კვანტურ ფიზიკაში
GitHub-ის რეპოზიტორიაში თითოეულ შედეგს დართული აქვს აღწერა, რომელი მოდელები გამოიყენეს. მათემატიკა PSI-ის მკვლევრებმა ავტომატიზებულ კვლევით პროცესებში განავითარეს OpenAI-ის (GPT-6-Astra, GPT-5.6, GPT-5.6 Pro, GPT-5.6-Sol) და Anthropic-ის (Claude Fable 5.1, Claude Opus 4.8, Claude Opus 5, Claude Opus 5.5) მოდელებთან ერთად. Lean-ის დამტკიცებები AI აგენტებმა დაწერეს: Claude Code-სა და Codex-ში, PSI-ის ხელმძღვანელობით. ნაშრომების სისწორეზე პასუხისმგებლობა ავტორებს, დევიდ ტურტურეანს, ნინგ ბაოსა და იან მაკკორმაკს აკისრიათ.
Lean არის პროგრამა, რომელიც მათემატიკურ დამტკიცებას ნაბიჯ-ნაბიჯ ამოწმებს. თუ დამტკიცება Lean-ში „კომპილირდება“, მასში ლოგიკური შეცდომა არ არის. ამიტომ AI-ს მიერ დაწერილი, დამაჯერებელი, მაგრამ მცდარი არგუმენტის რისკი მნიშვნელოვნად მცირდება. მაგრამ Lean ვერ შეამოწმებს, ზუსტად შეესაბამება თუ არა ფორმალური დებულება იმ ფიზიკურ კითხვას, რომელიც მეცნიერებს აინტერესებთ. ამის შეფასება ექსპერტების საქმეა.
ხელოვნური ინტელექტი კვანტურ ფიზიკაში ერთადერთი მიმართულება არ არის, სადაც AI ახალ შედეგებს იღებს. მსგავს გზას სხვებიც გადიან: OpenAI-ის მოდელებმა ცოტა ხნის წინ Yang-Mills-ის, ETH-ის და Kakeya-ს ამოცანებზე ახალი შედეგები მიიღეს, AlphaProof Nexus-მა კი ერდიოშის ამოცანები ამოხსნა.
რა არ არის ჯერ დადასტურებული
ნაშრომები წინასწარი ვერსიებია (preprint): ისინი ჯერ არ გასულა რეცენზირება და არც დამოუკიდებელ ექსპერტს დაუდასტურებია მათი სისწორე ან სიახლე. PSI-მ X-ზე თავის განცხადებაში „ხუთი დიდი ხნის პრობლემის ამოხსნა“ ახსენა, მაგრამ კვლევის გვერდზე უფრო ფრთხილად წერს: „ახალი შედეგები ხუთ ღია ამოცანაზე“. PSI ვენჩურული ინვესტიციებით დაფინანსებული კომპანიაა, რომელიც ფიზიკური კვლევებისთვის AI სისტემებს აშენებს. სახელში „სუპერინტელექტის“ ხსენება არ ნიშნავს, რომ საქმე ხელოვნურ სუპერინტელექტთან გვაქვს.
შეჯამება
PSI-ის ხუთი შედეგი კარგად აჩვენებს, როგორ იცვლება ხელოვნური ინტელექტის როლი მეცნიერებაში. ხელოვნური ინტელექტი კვანტურ ფიზიკაში უკვე აღარ წერს მხოლოდ ტექსტს, არამედ ადამიანებთან ერთად იღებს ახალ მათემატიკურ შედეგებს და ამას თან ახლავს მანქანურად შესამოწმებელი დამტკიცებები. ამავდროულად, სათაურებში ნახსენები „ხუთი ამოხსნილი პრობლემა“ გადაჭარბებულია. სრული პასუხი მხოლოდ OQP 43-ს აქვს, დანარჩენები ზღვრები და ნაწილობრივი შედეგებია. საბოლოო შეფასებისთვის კვანტური ინფორმაციის დამოუკიდებელი ექსპერტების რეცენზიაა საჭირო.
წყაროები
სხვა თემები
Anthropic წამლების შექმნაში: Claude ექვს პარტნიორთან და საკუთარ პროგრამებზე მუშაობს
OpenAI-ის მოდელებმა Yang-Mills-ის, ETH-ის და Kakeya-ს ამოცანებზე 3 ახალი შედეგი მიიღეს
OpenAI-მ GPT-6.1 Terra წარადგინა