/explore
|
You are here 
|
blog.computationalcomplexity.org | ||
| | | | |
mycqstate.wordpress.com
In a previous post I reported on the beautiful recent result by Natarajan and Wright showing the astounding power of multi-prover interactive proofs with quantum provers sharing entanglement: in letters, $latex {\text{NEEXP} \subseteq \text{MIP}^\star}&fg=000000$. In this post I want to report on follow-up work with Ji, Natarajan, Wright, and Yuen, that we just posted to... |
|
| | | | | ||
| | | | |
scottaaronson.blog
Way back in 2005, I posed Ten Semi-Grand Challenges for Quantum Computing Theory, on at least half of which I'd say there's been dramatic progress in the 16 years since (most of the challenges were open-ended, so that it's unclear when to count them as "solved"). I posed more open quantum complexity problems in 2010,... |
|
| | | | | ||
| | | | |
algassert.com
Craig Gidney's computer science blog |
|
| | | | | ||
| | | | |
thatsmaths.com
[AI summary] A blog archive listing titled 'ThatsMaths' containing over 600 posts from 2002 to 2025 covering mathematical history, problems, applications, and scientific concepts. |
|
| | | |||
