Zero Knowledge cover image

Mathematical Journeys & Sake with Guillermo Angeris

Zero Knowledge

00:00

The Four Color Theorem

There's the use of or i maybe a group of humans, but still human brains. So there's the use just pure computation tof solve proofs. For example, a very, very famous example is the four color theorem. No one knows how to prove it, except by reducing the true problem to about a few million cases and checking all of them in a computer.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app