As of: 2026-11-09 21:13 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/p/x-psipbc-2118706269506949152/

# “Today Physical Superintelligence PBC is announcing a proof of the Aaronson-Ambainis…”

Physical Superintelligence (@psipbc), X, 2026-11-06.
Source: https://x.com/psipbc/status/2118706269506949152

## Archived text

> Today Physical Superintelligence PBC is announcing a proof of the Aaronson-Ambainis conjecture, one of the central open problems in quantum complexity, with major implications for quantum computing speedup.
> 
> https://psi.inc/research/aaronson-ambainis/
> 
> Thread 👇

Archived 2026-11-08 via fxtwitter (unofficial).
Counts: 1,061,142 views, 3,918 likes, 658 reposts, 155 replies (at fetch time)

## Cited in

- 2026-11-06: [PSI claims Lean-checked proof of the Aaronson–Ambainis conjecture](https://postcutoff.com/e/2026-11-06-psi-aaronson-ambainis-conjecture-proof/)

## People in this post

- [Scott Aaronson](https://postcutoff.com/person/scott-aaronson/), Professor of computer science, UT Austin