https://www.quantamagazine.org/landmark ... -20200304/
Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics.
...
The correspondence between entanglement and computing came as a jolt to many researchers.