Computer Scientists Expand the Frontier of Verifiable Knowledge | Quanta Magazine

The universe of problems that a computer can check has grown. The researchers’ secret ingredient? Quantum entanglement.