AnswersPublished25 sources
AI systém PSI podle firmy dokázal domněnku o kvantových počítačích
PSI 6. listopadu 2026 oznámila, že její výzkumný systém s neveřejným modelem Anthropic našel důkaz domněnky Aaronsona a Ambainise; podle firmy ho měl už třetí den a Lean formalizovaný důkaz přijal.
PublikovalUpraveno pomocí GPT-6 LunaObrázky vytvořeny pomocí GPT Image 2
Research answer
Key takeaways
- PSI 6. listopadu 2026 oznámila, že její výzkumný systém s neveřejným modelem Anthropic našel důkaz domněnky Aaronsona a Ambainise; podle firmy ho měl už třetí den a Lean formalizovaný důkaz přijal.
- Výsledek se týká počtu přístupů k datům u kvantových algoritmů pro většinu náhodných vstupů.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did physics-focused AI startup Physical Superintelligence (PSI) announce on November 6 about its research system using an undisclosed,. Article summary: On November 6, 2026, Physical Superintelligence (PSI) announced that its internal research system, using a non-public Anthropic model, had found a proof of the Aaronson–Ambainis conjecture, open since 2008, and released . Topic tags: general, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fak
Physical Superintelligence (PSI) 6. listopadu 2026 oznámila, že její interní výzkumný systém s neveřejným modelem Anthropic našel důkaz domněnky Aaronsona a Ambainise, otevřené od roku 2008. Firma zveřejnila odborný text a formalizaci v Lean 4; podle PSI nástroj Lean důkaz přijal. Odborný časopis ho zatím nerecenzoval. 6
7
13
15
Co PSI o práci systému uvádí
Podle společnosti měl systém úplný důkaz už třetí den provozu na její vlastní infrastruktuře. Poté se věnoval souvisejícím problémům a výsledek ještě dvakrát vylepšil. Zveřejněné zprávy ale neuvádějí jednotlivé meze, které při těchto úpravách vznikly, ani nepopisují postup systému natolik podrobně, aby šlo jeho uvažování krok za krokem rekonstruovat. 5
11
14
Práci vedl David Turturean z technického týmu PSI, který výzkumný systém také vyvinul. Podle dostupných zpráv vybral a vymezil problém, nechal systém připravit první návrh, následně ho zkontroloval a je uveden jako osoba odpovědná za správnost textu. 1
7 Poradce PSI Jim Halverson měl důkaz prověřit; poradkyně Phiala Shanahan se vyjadřovala k roli formalizace v Lean.
34
36
Samotný model firma nejmenovala. PSI pouze uvedla, že během práce použila neveřejný model Anthropic. Dostupné informace neobjasňují, jak přesně se Anthropic na projektu podílel ani zda společnost výsledek nezávisle potvrdila. 6
15
O čem domněnka je
Ve zveřejněné formulaci jde o polynom s reálnými koeficienty, jehož stupeň je nejvýše d a jehož hodnoty na booleovské krychli leží mezi nulou a jedničkou. Pokud má takový polynom rozptyl alespoň ε, musí mít alespoň jedna proměnná nezanedbatelný vliv. Repozitář PSI pro tento vliv uvádí dolní mez alespoň (ε/d)^7 a také silnější odhad. 41
Zjednodušeně: omezený polynom nízkého stupně se nemůže výrazně měnit, a přitom být jen nepatrně závislý na každém jednotlivém vstupu. Význam výsledku pro kvantové počítače souvisí s takzvanou složitostí dotazů – tedy s tím, kolikrát algoritmus potřebuje nahlédnout do vstupních dat. Podle uváděného důsledku může klasický algoritmus u ano/ne úloh na většině rovnoměrně náhodných vstupů přiblížit pravděpodobnost, že kvantový algoritmus odpoví „ano“, aniž by potřeboval exponenciálně více přístupů ke vstupu. 4
To ale není totéž jako tvrzení, že klasické počítače dokážou vždy účinně simulovat kvantové. Omezení počtu přístupů k datům samo o sobě neříká, kolik výpočtu algoritmus provede mezi jednotlivými přístupy. Výsledek proto také neznamená, že kvantové počítače nemohou mít žádnou praktickou výhodu. 4
16
Co potvrzuje Lean – a co ne
PSI zveřejnila matematický text a jeho formalizaci v Lean 4. Lean je nástroj pro kontrolu důkazů: ověřuje, zda formální argument vyplývá z definic a předpokladů zapsaných ve formalizaci. Repozitář zaznamenává také kontroly provedené před zveřejněním. 10
21
41
Přijetí formalizace je významným důkazem, že argument zapsaný v Lean je podle daných definic a předpokladů platný. Samo o sobě však neřeší, zda formální tvrzení přesně odpovídá původní domněnce. Počítačová kontrola, odborný výklad matematiky a recenzní řízení v časopise jsou související, ale odlišné kroky. Zatím je proto přesnější mluvit o významném tvrzení podloženém zveřejněnou formalizací, nikoli o výsledku, který už prošel všemi formami nezávislého odborného posouzení. 15
41
Veřejné zdroje potvrzují, co PSI tvrdí o časové ose, zveřejněné formalizaci a přijetí v Lean. Neposkytují ale dost podkladů k ověření konkrétního popisu toho, jak důkaz navazuje na dřívější práci nebo zda používá argument založený na determinantech a párování nastavení vstupů. Takový technický postup nelze spolehlivě odvodit jen z oznámení firmy.
Co zůstává otevřené
Oznámení neobjasňuje, o jaký model Anthropic šlo, jaký byl podíl této společnosti ani zda nezávislí odborníci dokončili podrobnou kontrolu. Důležitým dalším krokem je, aby matematici a informatici prověřili jak formální důkaz, tak to, zda skutečně odpovídá původní formulaci domněnky. 6
15
Opatrný závěr má dvě části: PSI zveřejnila pozoruhodné tvrzení spolu s formalizací, kterou lze strojově kontrolovat. Než bude výsledek možné považovat za plně ustálený, důležitá zůstává nezávislá odborná kontrola.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "AI systém PSI podle firmy dokázal domněnku o kvantových počítačích"?
PSI 6. listopadu 2026 oznámila, že její výzkumný systém s neveřejným modelem Anthropic našel důkaz domněnky Aaronsona a Ambainise; podle firmy ho měl už třetí den a Lean formalizovaný důkaz přijal.
What are the key points to validate first?
PSI 6. listopadu 2026 oznámila, že její výzkumný systém s neveřejným modelem Anthropic našel důkaz domněnky Aaronsona a Ambainise; podle firmy ho měl už třetí den a Lean formalizovaný důkaz přijal. Výsledek se týká počtu přístupů k datům u kvantových algoritmů pro většinu náhodných vstupů.