PSI proves Aaronson-Ambainis conjecture using Anthropic’s non-public model
Physical Superintelligence (PSI) announced on November 6 that its internal research system, running a non-public Anthropic model, proved the Aaronson-Ambainis conjecture—a 2008 open question in quantum computing. The conjecture, proposed by Scott Aaronson and Andris Ambainis, addressed whether quantum computers could outperform classical ones on random inputs without hidden structure. PSI’s…
Key points
- PSI’s system proved the Aaronson-Ambainis conjecture using Anthropic’s non-public model in three days
- Lean verified the proof, which refines bounds on polynomial influence in quantum computing
- Stanford researchers previously solved a special case but confirmed PSI’s full proof
The breakthrough clarifies that quantum speedups require input structure, ruling out exponential gains on arbitrary inputs. PSI’s David Turturean led the effort, while Guy Blanc and colleagues at Stanford had earlier settled a special case. The proof refines bounds on polynomial influence, a key mathematical concept, and leverages results from combinatorics and probabilistic analysis. Quantum computing’s limitations remain, but this resolves one of its most enduring theoretical puzzles.
AI physics startup PSI says a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture, a quantum computing question open since 2008
psi.inc · 6 November 2026
Loading the full article…
This text was published by psi.inc. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗
Coverage and discussion
1source- Hacker News discussion · 8 pointsnews.ycombinator.com
The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us. Published by Martin K., who runs Digest AI and handles corrections.
More in Research
All →- Mit develops CheMeleon model that outperforms other methods · 1 src
- OpenAI releases BioBasicsBench benchmark; GPT‑6 Astra scores 66.7% on wet‑lab tasks · 1 src
- Baseten releases Serverless Loops for open-model fine-tuning with per-token billing · 1 src
- Insilico Medicine releases open-source Longevity Grok AI system with 30 agents · 1 src
- Ro launches research lab to analyze patient data for clinical insights · 1 src
Comments
via GitHub Discussions