Inteligjenca artificiale zgjidh një problem 18-vjeçar në fushën e kompjuterëve kuantikë
Një problem matematik 18-vjeçar që kishte të bënte me kufijtë e informatikës kuantike mund të jetë zgjidhur më në fund vetëm në tre ditë. Kompania kërkimore e fizikës PSI pretendon se ka zgjidhur hipotezën e hershme Aaronson-Ambainis, duke hedhur potencialisht dritë të re mbi kohën kur kompjuterët kuantikë mund t’i tejkalojnë makinat konvencionale.
Kompania tha se sistemi i saj përfundoi vërtetimin e supozimit Aaronson-Ambainis në tre ditë. Problemi, i propozuar për herë të parë në vitin 2008, ka të bëjë me kushtet në të cilat kompjuterët kuantikë mund të arrijnë një avantazh eksponencial shpejtësie ndaj kompjuterëve konvencionalë.
PSI tha se sistemi i saj i kërkimit përdorte një model jo-publik nga Anthropic, i cili funksiononte në infrastrukturën e vetë kompanisë. Sistemi prodhoi një provë matematikore që u pranua nga Lean, një softuer ndihmës për prova që përdoret për të kontrolluar saktësinë logjike të argumenteve formale matematikore.
Kompania tha se sistemi më pas e përmirësoi provën dy herë, me Lean që pranoi edhe versionin përfundimtar.
Megjithatë, rezultati ende nuk i është nënshtruar një shqyrtimi të plotë akademik të pavarur. Ndërsa studiuesit në Universitetin e Stanfordit kanë shqyrtuar aspekte të punës dhe kanë dhënë reagime, një shqyrtim më i gjerë do të jetë i rëndësishëm në përcaktimin nëse prova zgjidh supozimin origjinal.
Hipoteza Aaronson-Ambainis trajton sasinë e informacionit që i duhet një kompjuteri klasik për të simuluar algoritme të caktuara kuantike.
Më konkretisht, ka të bëjë me faktin nëse algoritmet kuantike me një strukturë të veçantë matematikore mund të përafrohen në mënyrë efikase nga kompjuterët klasikë. Nëse supozimi është i vërtetë, kompjuterët klasikë mund të simulojnë një klasë të gjerë algoritmesh kuantike në hyrje të zgjedhura rastësisht vetëm me mbingarkesë polinomiale. Dallimi ka rëndësi sepse rritja polinomiale dhe eksponenciale mund të prodhojë kërkesa shumë të ndryshme informatike ndërsa madhësia e një problemi rritet.
Kjo do të ndihmonte në shpjegimin pse disa algoritme kuantike mund të mos ofrojnë një avantazh eksponencial ndaj informatikës klasike, edhe nëse pajisjet kuantike mund të përpunojnë informacionin në mënyra thelbësisht të ndryshme.
Rezultati nuk do të thotë që kompjuterët kuantikë nuk kanë avantazh ndaj makinave klasike. Algoritmet e projektuara për probleme të veçanta, përfshirë algoritmin e Shorit për faktorizimin e numrave të mëdhenj, nuk përjashtohen nga hamendësimi.
Në vend të kësaj, supozimi trajton një klasë specifike të llogaritjeve kuantike dhe kushtet në të cilat avantazhi i tyre i dukshëm mund të riprodhohet në mënyrë klasike.
PSI tha se David Turturean udhëhoqi punën, duke zhvilluar sistemin e kërkimit, duke përcaktuar problemin dhe duke drejtuar procesin. Ai gjithashtu shqyrtoi draftin që rezultoi dhe ishte përgjegjës për saktësinë e punimit.
Kompania tha se Jim Halverson auditoi provën, ndërsa Phiala Shanahan dha komente mbi formalizimin e saj Lean.
Studiuesit në Stanford, përfshirë Guy Blanc, Jordan Docter, Carmen Strassle dhe Li-Yang Tan, kanë qenë gjithashtu duke shqyrtuar rezultatin. Grupi më parë vërtetoi një rast të veçantë të supozimit në gusht 2026 dhe po përgatit një ekspoze më të shkurtër të provës së plotë të PSI-së për ekspertë të tjerë.
Përfshirja e tyre është e rëndësishme sepse verifikimi formal dhe shqyrtimi i pavarur matematikor shërbejnë për qëllime të ndryshme. Lean mund të kontrollojë nëse një provë formale rrjedh logjikisht nga supozimet e saj të deklaruara, por studiuesit duhet gjithashtu të vlerësojnë nëse pohimi i formalizuar kap me saktësi supozimin origjinal.
PSI, e cila u lançua publikisht në shtator 2026, e përshkruan veten si një kompani kërkimore fizike që ndërton sisteme të automatizuara për zbulime shkencore. Njoftimi i saj shënon një moment historik potencialisht të rëndësishëm, por pretendimi do të duhet t’i rezistojë një shqyrtimi më të gjerë nga ekspertët përpara se të mund të trajtohet si një rezultat i zgjidhur.