Computer Scientists Expand the Frontier of Verifiable Knowledge

Quanta Science Podcast - A podcast by Quanta Magazine - Wednesdays

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.