The universe of problems that a computer can check has grown. The researchers’ secret ingredient? Quantum entanglement. <p>The post <a href="https://www.quantamagazine.org/computer-scientists-expand-the-frontier-of-verifiable-knowledge-20190523/" target="_blank">Computer Scientists Expand the Frontier of Verifiable Knowledge</a> first appeared on <a href="https://www.quantamagazine.org" target="_blank">Quanta Magazine</a></p>

Computer Scientists Expand the Frontier of Verifiable Knowledge

Exploring the distant universe, the insides of cells, the abstractions of math, the complexity of information itself, and much more, The Quanta Podcast is a tour of the frontier between the known and the unknown. In each episode, Quanta Magazine Editor-in-Chief Samir Patel speaks with the minds behind the award-winning publication to navigate through some of the most important and mind-expanding questions in science and math. Quanta specifically covers fundamental research — driven by curiosity, discovery and the overwhelming desire to know why and how. Join us every Tuesday for a stimulating conversation about the biggest ideas and the tiniest details.(If you've been a fan of the Quanta Science Podcast, it will continue here. You'll see those episodes marked as audio edition episodes every two weeks.)