Research

  1. A proof of the Aaronson‑Ambainis conjecture

    A proof of the Aaronson-Ambainis conjecture about quantum speedups on random inputs, with a complete formalization in Lean.

  2. Five results on Open Quantum Problems

    Working with our AI research system, PSI researchers have obtained new results on five open problems in quantum information theory.