Computer Scientists Expand the Frontier of Verifiable Knowledge

The universe of problems that a computer can check has grown. The researchers' secret ingredient? Quantum entanglement. Read more at QuantaMagazine.org. Music is "Desert Caravan" by Aaron Kenny.