Research · High impact
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)
Techmeme ·
The Brief
- AI physics startup PSI says a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture.
- The conjecture is a quantum computing question that has been open since 2008.
- PSI states that the Aaronson-Ambainis conjecture is now a theorem; the sources report this claim and do not independently verify it.
Why it matters
If confirmed, it would be a notable case of an AI system producing a proof of an open research problem, which may matter for developers building or evaluating AI tools for formal reasoning and research.
- #ai
- #quantum-computing
- #mathematics
- #proofs
- #research
PSI : 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 — The Aaronson-Ambainis conjecture is now a theorem. — Open since 2008, the conjecture of Scott…
Timeline
PSI says an AI system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture
Techmeme
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)