Retraction of "a proof of soundness of the Raz-Safra low-degree test against entangled-player strategies, a key ingredient in the proof of the quantum low-degree test, itself a key ingredient in the MIP*=RE paper": https://mycqstate.wordpress.com/2020/09/29/it-happens-to-everyonebut-its-not-fun/
MIP*=RE is patched and remains believed true but not fully refereed. This post provides a lot more than the standard we-found-a-bug notice: a good description of what happened, what it implies technically, and how it affects the authors and community.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!