Computer Scientists Expand the Frontier of Verifiable Knowledge

episode

The Quanta Podcast not yet transcribed

▲ 0

Transcript

This episode hasn't been transcribed yet Upvotes decide what gets transcribed next — 0 so far. Sign in to upvote

recent transcribed audio

A.I. Safety Goes Mainstream + a ‘Hard Fork’ Exit AMA 1h 25m · 18 Sep 2026 · Hard Fork

Layoffs at the Kansas City Star will hurt local communities 15 min · 18 Sep 2026 · Kansas City Today

AWP: Beyond the Exam Room: Purpose, Myopia, and Population Health 54 min · 17 Sep 2026 · EyeCode Media

Planning Commission Meeting - Sep 17, 2026 1h 11m · 17 Sep 2026 · Leesburg Planning Commission

Heritage Commission - Sep 14, 2026 1h 57m · 17 Sep 2026 · Loudoun County Board Committees and Advisory Boards

Historic District Review Committee - Sep 14, 2026 1h 36m · 17 Sep 2026 · Loudoun County Board Committees and Advisory Boards

Report any issue

Source

Recorded09 Apr 2020

Publisherquantapodcast.quantamagazine.org ↗

Handlerec:4092293

Show notes

The universe of problems that a computer can check has grown. The researchers’ secret ingredient? Quantum entanglement. The post Computer Scientists Expand the Frontier of Verifiable Knowledge first appeared on Quanta Magazine

Ask this episode

“What did the council decide on item 42?” — answered with the speaker and the moment.

Transcript

Related