MIP* = RE
arxiv.org
arxiv.org
An introduction to the area from before this new breakthrough -- https://www.ams.org/journals/notices/201910/rnoti-p1618.pdf
Gil Kalai on the mathematical implications -- https://gilkalai.wordpress.com/2020/01/17/amazing-zhengfeng-...
Lance Fortnow -- https://blog.computationalcomplexity.org/2020/01/quantum-pro...
KW Regen -- https://rjlipton.wordpress.com/2020/01/15/halting-is-poly-ti...
Boaz Barak -- https://windowsontheory.org/2020/01/14/mipre-connes-embeddin...
Scott Aaronson -- https://www.scottaaronson.com/blog/?p=4512