Nepublisks Anthropic MI modelis pierāda Āronsona–Ambainisa hipotēzi par kvantu datoru robežām

Amerikāņu pētniecības uzņēmums Physical Superintelligence (PSI) 6. novembrī paziņoja, ka tā iekšēji izstrādāta pētniecības sistēma, kurā darbojās vēl nepublisks uzņēmuma Anthropic MI modelis, atradusi pierādījumu Āronsona–Ambainisa hipotēzei. Šī kvantu skaitļošanas teorijas problēma bija neatrisināta kopš 2008. gada, un viens no tās autoriem ir Latvijas Universitātes profesors Andris Ambainis.

Hipotēzi Ambainis formulēja kopā ar amerikāņu datorzinātnieku Skotu Āronsonu. Tā skar jautājumu, kad kvantu dators var būt eksponenciāli ātrāks par parasto datoru. Ja hipotēze ir patiesa, uzdevumos ar atbildi „jā” vai „nē” un nejauši izvēlētiem ievaddatiem kvantu dators var būt tikai polinomiāli, nevis eksponenciāli ātrāks, un lielam paātrinājumam datos vajadzīga īpaša struktūra. PSI un portāls Interesting Engineering uzsver, ka tas neizslēdz tādus algoritmus kā Šora algoritms lielu skaitļu sadalīšanai reizinātājos.

Pēc PSI teiktā, sistēma pilnu pierādījumu ieguva darbības trešajā dienā, un to pieņēma Lean – programma, kurā dators pārbauda katru matemātiskā pierādījuma soli. Vēlāk sistēma rezultātu vēl divreiz uzlaboja, un arī galīgo versiju Lean akceptēja. Uzņēmums publicējis gan rakstu, gan pierādījuma formalizāciju. Nav zināms, kurš tieši Anthropic modelis izmantots, un Anthropic izdevuma Business Insider jautājumiem neatbildēja.

Darbu PSI vadīja uzņēmuma tehniskais darbinieks, kurš izstrādāja sistēmu, uzdeva tai problēmu, pārskatīja MI sagatavoto raksta melnrakstu un atbild par tā pareizību. Pierādījumu auditējis viens no PSI padomniekiem.

Pierādījumu jau lasījuši četri Stenfordas universitātes pētnieki, kuri šā gada augustā bija pierādījuši hipotēzes speciālgadījumu. Viņi rezultātu nosaukuši par ļoti nozīmīgu, jo tas atrisina gadu desmitiem senu jautājumu, un gatavo īsāku pierādījuma izklāstu speciālistiem.

Rezultāts gan vēl nav izgājis plašāku neatkarīgu zinātnisko izvērtēšanu. Lean pārbaude apliecina, ka formālais pierādījums loģiski izriet no tā pieņēmumiem, taču speciālistiem vēl jāpārliecinās, vai formalizētais apgalvojums precīzi atbilst sākotnējai hipotēzei.

Ja pierādījums izturēs ekspertu pārbaudi, tas apstiprinās sen pausto pieņēmumu, ka kvantu datoru priekšrocībām ir robežas, lai gan noteiktos uzdevumos tie joprojām var būt ievērojami jaudīgāki par parastajiem datoriem.