A Physical Superintelligence (PSI) nevű AI-kutató startup azt közölte, hogy belső fejlesztésű kutatórendszere, amely egy nem nyilvános Anthropic-modellen fut, bizonyítékot talált az Aaronson–Ambainis kvantumfeltételezésre, amely 2008 óta volt nyitott probléma.
A vállalat tájékoztatása szerint a rendszer a futás harmadik napján teljes bizonyítékot állított elő, majd a Lean nevű ellenőrző bizonyítás-asszisztens minden lépést elfogadott. Ezt követően a rendszert további kapcsolódó nyitott problémák megoldására állították, és a fejlesztés során a rendszer kétszer javította az eredményt; a végső változatot ismét elfogadta Lean.
Mi áll a bejelentés hátterében?
A Scott Aaronson és Andris Ambainis által 2008 óta felvetett feltételezés arra vonatkozik, hogy mikor képesek a kvantumszámítógépek exponenciálisan gyorsabban működni a hagyományos számítógépeknél. A PSI azt állítja, hogy az általuk használt kutatórendszer megtalálta a bizonyítékot erre a kérdésre, és hogy a bizonyítás formálisan ellenőrzött volt Lean segítségével.
Fontos megjegyezni, hogy a közlemény egy vállalati bejelentésen alapul: a rendszer által használt nyelvi/modellimplementáció nem nyilvános, és a bejelentés független, külső ellenőrzéséről a cég által közölt információkban nem szerepel további részlet.
Miért számít ez?
Ha a bejelentett bizonyítás megerősítést nyer független szakmai ellenőrzéssel és publikációval, akkor ez egy jelentős előrelépés lenne a kvantumszámítástechnika elméleti alapjainak megértésében. Emellett a PSI példája illusztrálja azt a trendet, hogy automatizált vagy félig automatizált rendszerek képesek új matematikai és tudományos eredményeket előállítani — a cég ezt a folyamatot egyes megfogalmazások szerint a „szingularitás” korai jeleként értékeli, azaz annak a fázisnak részének, amikor a technológiai és tudományos előrelépés üteme meghaladja az emberi feldolgozóképességet.
Következő lépések
A bejelentés szerint a PSI a rendszer további alkalmazásával más, kapcsolódó nyitott problémákon dolgozik. A független tudományos közösség szokásos gyakorlatának megfelelően a további lépés a megoldás részletes, átlátható publikálása és a bizonyítás formális illetve szakmai ellenőrzése lesz.
