Episode: 2502 Computer-assisted proofs: How machines extend our mind's reach.  Today, let’s ask how computers help us see mathematical truths.