MIP* = RE is not a typo. It is a groundbreaking discovery and the catchy title of a recent paper in the field of quantum complexity theory. Complexity theory is a zoo of “complexity classes”—collections of computational problems—of which MIP* and RE are but two.
Source:
https://phys.org/news/2020-08-major-quantum-breakthrough-physics-maths.html