Proofs

Transcendental numbers include famous examples like e and π, but it took mathematicians centuries to understand them.

The four-color problem is simple to explain, but its complex proof continues to be both celebrated and despised.

Zero-knowledge proofs allow researchers to prove their knowledge without divulging the knowledge itself.

Three computer scientists have posted a proof of the NLTS conjecture, showing that systems of entangled particles can remain difficult to analyze even away from extremes.

What makes a proof stronger than a guess? What does evidence look like in the realm of mathematical abstraction? Hear the mathematician Melanie Matchett Wood explain how probability helps to guide number theorists toward certainty.

Artificial intelligence has bested humans at problem-solving challenges like chess and Go. Is mathematics research next? Steven Strogatz speaks with mathematician Kevin Buzzard to learn about the effort to translate math into language that computers understand.

Daniel Spielman solves important problems by thinking hard — about other questions.

Why verify every line of a proof, when just a few checks will do?

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.