The longest mathematical proof ever

Get better at math everyday at https://brilliant.org/TreforBazett to get started for free for 30 days, and to get 20% off an annual premium subscription! In this video we're going to explore the proof of Schur number five, a proof that is 2 petabytes in size and currently (by far) the longest mathematical proof in existence. The paper: https://www.cs.utexas.edu/~marijn/Schur/#:~:text=We%20solved%20this%20problem%2C%20known,of%20a%20%2B%20b%20%3D%20c. 0:00 Intro 1:05 Schur Numbers 5:47 Plan of attack 6:39 Review of Propositional Logic 7:48 Converting to Propositional Logic 10:53 SAT Solvers 16:43 Proof Verification 18:03 Brilliant.org/TreforBazett BECOME A MEMBER: ►Join: https://www.youtube.com/channel/UC9rTsvTxJnx1DNrDA3Rqa6A/join MATH BOOKS I LOVE (affilliate link): ► https://www.amazon.com/shop/treforbazett COURSE PLAYLISTS: ►DISCRETE MATH: https://www.youtube.com/playlist?list=PLHXZ9OQGMqxersk8fUxiUMSIx0DBqsKZS ►LINEAR ALGEBRA: https://www.youtube.com/playlist?list=PLHXZ9OQGMqxfUl0tcqPNTJsb7R6BqSLo6 ►CALCULUS I: https://www.youtube.com/playlist?list=PLHXZ9OQGMqxfT9RMcReZ4WcoVILP4k6-m ► CALCULUS II: https://www.youtube.com/playlist?list=PLHXZ9OQGMqxc4ySKTIW19TLrT91Ik9M4n ►MULTIVARIABLE CALCULUS (Calc III): https://www.youtube.com/playlist?list=PLHXZ9OQGMqxc_CvEy7xBKRQr6I214QJcd ►VECTOR CALCULUS (Calc IV) https://www.youtube.com/playlist?list=PLHXZ9OQGMqxfW0GMqeUE1bLKaYor6kbHa ►DIFFERENTIAL EQUATIONS: https://www.youtube.com/playlist?list=PLHXZ9OQGMqxde-SlgmWlCmNHroIWtujBw ►LAPLACE TRANSFORM: https://www.youtube.com/playlist?list=PLHXZ9OQGMqxcJXnLr08cyNaup4RDsbAl1 ►GAME THEORY: https://www.youtube.com/playlist?list=PLHXZ9OQGMqxdzD8KpTHz6_gsw9pPxRFlX OTHER PLAYLISTS: ► Learning Math Series https://www.youtube.com/watch?v=LPH2lqis3D0&list=PLHXZ9OQGMqxfSkRtlL5KPq6JqMNTh_MBw ►Cool Math Series: https://www.youtube.com/playlist?list=PLHXZ9OQGMqxelE_9RzwJ-cqfUtaFBpiho SOCIALS: ►X/Twitter: http://X.com/treforbazett ►TikTok: http://tiktok.com/@drtrefor ►Instagram (photography based): http://instagram.com/treforphotography