PSI tvrdí, že AI od Anthropic dokázala kvantovou domněnku

Startup Physical Superintelligence (PSI) zaměřený na fyziku v pátek 6. listopadu oznámil, že jimi vytvořený výzkumný systém dokázal Aaronsonovu-Ambainisovu domněnku, problém kvantové složitosti otevřený od roku 2008, s využitím instancí neveřejného modelu Anthropic. Společnost uvedla, že systém měl kompletní důkaz třetí den běhu na vlastní infrastruktuře a asistent důkazů Lean jej přijal. Výsledek zatím neprošel recenzním řízením v odborném časopise. Prozatím jde o tvrzení společnosti, ale článek a strojově ověřený důkaz jsou veřejné, takže je mohou otestovat externí odborníci.psi.inc

Co důkaz tvrdí

Domněnka se ptá, zda kvantové počítače mohou být exponenciálně rychlejší než běžné počítače u náhodných vstupů, které téměř nikdy neobsahují skryté vzorce, jež využívají algoritmy jako Shorova metoda faktorizace. Aaronson a Ambainis ukázali, že pokud by platilo jejich tvrzení o omezených polynomech nízkého stupně, kvantové zrychlení u náhodných vstupů by bylo maximálně polynomiální. Oznámení PSI formulovalo výsledek takto: "kvantový počítač nemůže ušetřit exponenciálně mnoho pohledů, pokud řetězec nemá vzácný vzorec". Věta omezuje, kolikrát algoritmus čte svůj vstup, nikoli celkový výpočetní čas, což ponechává prostor pro praktické kvantové výhody.thequantuminsider.com+1

První důkaz poskytl slabší mez. Poté, co PSI nasadila systém na související otevřené problémy, výsledek dvakrát vylepšila a Lean přijal konečnou verzi. Argumentace následuje plán Shachara Lovetta a Jiapenga Zhanga. Nahrazuje nerovnost, kterou ponechali jako domněnku, novou, dokázanou spárováním nastavení vstupů pomocí determinantu.psi.inc

Role lidí a kontroly

Zaměstnanec PSI David Turturean systém sestavil a spustil, vyzval model k sepsání článku a je zodpovědný za jeho správnost. Poradci Jim Halverson a Phiala Shanahan provedli audit důkazu a komentovali formalizaci. Repozitář projektu na GitHubu uvádí, že důkaz, článek a formalizace byly vytvořeny modely AI. Dále uvádí, že věty v Lean neobsahují žádné zástupné symboly ani přidané axiomy a byly znovu zkontrolovány dvěma nezávislými implementacemi jádra. Čtenáři si stále musí potvrdit, že formální tvrzení odpovídá původní domněnce.github.com+1

Výzkumníci ze Stanfordu Guy Blanc, Jordan Docter, Carmen Strassle a Li-Yang Tan vyřešili speciální případ v srpnu. Četli celý důkaz a v prohlášení zveřejněném PSI jej označili za "obrovský výsledek", ve kterém je "vše spojeno dohromady docela magickým způsobem".psi.inc

Nezodpovězené otázky

PSI neuvedla, který model Anthropic použila, a Anthropic na žádost o komentář nereagoval. Oznámení následuje po zářijovém tvrzení OpenAI, že vyřešila problém zahrnující Navierovy-Stokesovy rovnice, a přidává se k debatě o tom, co AI znamená pro kariéru matematiků.businessinsider.com