Post-Cutoff
Search For AI agents

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

Physical Superintelligence @psipbcX

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 👇

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

Cited in

  1. Science & math 129 days after the cutoff

    PSI claims Lean-checked proof of the Aaronson–Ambainis conjecture

People in this post

Scott Aaronson, Professor of computer science, UT Austin