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