I am working on an experimental platform for collaborative mathematics with agents; we called it prove2.me. It’s quite preliminary, but let me know what you think. In this project we are “embracing” AI to understand what is possible.
I have an idea to unify quantum algorithms that I am slowly trying out. I’m also working on a fun line of research with James Sud in quantum complexity, we just put the paper out!.
Did you know that maximally mixed qubits and adaptive swap tests can compute all of BQP? This was news to me; it’s called the “singlet-triplet projection” model (STP). I think it could hold a key to a new understanding of quantum computation.
I made this website to synthesize interesting open problems in theoretical computer science (click here). Let me know if you find it useful!
Last updated in August 2026. This page is inspired by Derek Sivers.