Computer Scientists Expand the Frontier of Verifiable Knowledge - Quanta Magazine

Computer Scientists Expand the Frontier of Verifiable Knowledge  Quanta MagazineThe universe of problems that a computer can check has grown. The researchers' secret ingredient? Quantum entanglement.