The Longest Mathematical Proof Ever: Exploring Schur Number Five

Explore the longest mathematical proof in existence in this 20-minute video lecture on the proof of Schur number five. Delve into the concept of Schur numbers and learn how a 2-petabyte-sized proof was constructed. Follow along as the lecturer breaks down the problem-solving approach, reviews propositional logic, and explains the conversion process to propositional logic. Discover the role of SAT solvers in tackling this complex mathematical challenge and understand the importance of proof verification. Gain insights into advanced mathematical concepts and problem-solving techniques used in modern mathematics.

Intro
Schur Numbers
Plan of attack
Review of Propositional Logic
Converting to Propositional Logic
SAT Solvers
Proof Verification
Brilliant.org/TreforBazett