Science and breakthroughs
Quantum
Current state
The desk has not filed a dated note for this topic.
PSI says an internal system proved the Aaronson–Ambainis conjecture
PSI said on 6 Nov 2026 that an internal system running a non-public Anthropic model found a Lean-accepted proof of the 2008 Aaronson–Ambainis conjecture.
A topic is a tag already on a story. It is listed here when at least two stories use it.
Questions
What is on this page?
This page lists 2 stories tagged quantum.
What is the current state?
The desk has not filed a dated note for this topic.
Where are the sources?
Each story links the sources it used.