18 metų neįrodytą hipotezę PSI teigia įveikusi su DI
PSI teigia su neviešu Anthropic modeliu radusi Aaronson–Ambainis hipotezės įrodymą. Formalų rezultatą patikrino Lean sistema, o tekstą nagrinėja mokslininkai.
Physical Superintelligence pranešė, kad jos tyrimų sistema, naudojanti neviešą Anthropic modelį, rado nuo 2008 metų atviros Aaronson–Ambainis hipotezės įrodymą. Lapkričio 6 dienos pranešime bendrovė rezultatą sieja su klausimu, kada kvantiniai kompiuteriai gali būti eksponentiškai spartesni už įprastus.
Pasak PSI, Scott Aaronson ir Andris Ambainis iškėlė matematinę hipotezę apie polinomus, kurios teisingumas apriboja kvantinių algoritmų pranašumą atsitiktinėms įvestims. Tai nėra teiginys, kad kvantiniai kompiuteriai apskritai nenaudingi arba negali turėti didelio pranašumo kitokios struktūros uždaviniuose.
Bendrovė aiškina skirtumą pasitelkdama Peter Shor 1994 metais pristatytą algoritmą, kuris remiasi sprendžiamame uždavinyje slypinčiu pasikartojančiu dėsningumu. Naujas rezultatas nagrinėja kitą atvejį: atsitiktines įvestis, kuriose tokios retos struktūros paprastai nėra, ir reikiamą jų perskaitymų skaičių.
PSI teigimu, visa hipotezė buvo įrodyta trečiąją sistemos darbo dieną, skaičiavimus vykdant pačios bendrovės infrastruktūroje su Anthropic modelio egzemplioriais. Įrodymą priėmė Lean – formaliojo tikrinimo sistema, kurioje kompiuteris tikrina kiekvieną matematinio samprotavimo žingsnį pagal apibrėžtas taisykles.
Vėliau tyrimų sistema nagrinėjo susijusius atvirus klausimus ir, pasak PSI, du kartus sustiprino gautą matematinį rezultatą. Bendrovė nurodo, kad Lean priėmė ir galutinę versiją, o įrodymas remiasi ankstesnėmis Shachar Lovett, Jiapeng Zhang, David Reimer bei kitų tyrėjų idėjomis.
Pranešime atskirai įvardijamas žmonių darbas: PSI techninės komandos narys David Turturean sukūrė tyrimų sistemą ir parinko jai uždavinį. Jis taip pat inicijavo darbą, paprašė modelio parengti straipsnio juodraštį, jį peržiūrėjo ir prisiėmė atsakomybę už matematinį teisingumą.
Pasak bendrovės, patarėjas Jim Halverson atliko įrodymo auditą, o patarėja Phiala Shanahan pateikė pastabų dėl Lean formalizacijos. Šios nurodytos žmonių atsakomybės leidžia atskirti automatinį įrodymo radimą nuo jo pristatymo, tikrinimo ir mokslinio teksto parengimo darbų.
PSI taip pat primena, kad 2026 metų rugpjūtį Stanfordo tyrėjai Guy Blanc, Jordan Docter, Carmen Strassle ir Li-Yang Tan išsprendė specialų hipotezės atvejį. Jų rezultatas buvo taikomas kvantiniams algoritmams, kurie įvestį nagrinėja per fiksuotą lygiagrečių etapų skaičių, o ne visam klausimui.
Bendrovės teigimu, ši Stanfordo grupė jau skaito pilnos hipotezės įrodymą, perdavė pastabų ir rengia trumpesnį paaiškinimą specialistams. PSI paskelbė nuorodas į mokslinį tekstą ir įrodymų bei kodo saugyklą, todėl rezultatą gali nagrinėti ir kiti tyrėjai.
Matematinė riba, kaip aiškina PSI, susijusi su tuo, kiek kartų algoritmas turi perskaityti įvesties dalis. Išvada taikoma taip apibrėžtam užklausų modeliui, o ne bet kokiam praktinio kompiuterio veikimo laiko palyginimui.
Toliau laukiama specialistams skirto trumpesnio išdėstymo, kurį, pasak PSI, rengia ankstesnį specialų atvejį nagrinėję Stanfordo mokslininkai. Pranešime neatskleistas naudoto Anthropic modelio pavadinimas ir nepaskelbta, kada tokia tyrimų sistema galėtų tapti prieinama kitiems naudotojams.
Rašome apie dirbtinį intelektą lietuviškai. Kiekvienas straipsnis parengtas pagal nurodytą šaltinį, o nuorodą į originalą rasite kortelėje „Šaltinis“.
