The Biggest Math Proof In The World Has Been Written

Excited for today's eclipse? Visit our Eclipse 2017 page to explore the science, history, and myths of the event. The Curiosity team will be viewing the eclipse alongside NASA in Carbondale, Illinois. Follow us on Facebook for live videos, trivia, and interviews today!

In May 2016, the world's longest math proof was written. The entire proof takes up nearly 200 terabytes, beating out the previous record-holding proof, which took up "only" 13 gigabytes. The Boolean Pythagorean Triples problem was first posed in the 1980s by a California-based mathematician named Ronald Graham. The problem, which was solved and proved by Marijn J. H. Heule, Oliver Kullmann, and Victor W. Marek, centers around the Pythagorean theorem: a^2 + b^2 = c^2. There are specific sets of positive integers, known as Pythagorean triples, that can be inserted into the formula, such as 32 + 42 = 52, and 52 + 122 = 132. Now imagine that every positive integer is either red or blue. Graham asked if it's possible to color all the integers either red or blue so that no set of Pythagorean triples were all the same color. The solution in the record-setting proof states that this is impossible.

Share the knowledge!

If you liked this you'll love our podcast! Check it out on iTunes, Stitcher, Google Play Music, SoundCloud, search 'curiosity' on your favorite podcast app or add the RSS Feed URL.