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

But in fluid mechanics, computer-assisted proofs are still a relatively new technique. In fact, when it comes to statements about singularity formation, Hou and Chen’s proof is the first of its kind: ...