› added 7 years ago
257
TIL that in 1980, Ronald Graham offered a prize of $100 for anyone who could solve his "Boolean Pythagorean Triples Problem." Last year, three computer scientists solved the puzzle, using a supercomputer over the course of 2 days, and came out with a proof that takes up 200TB of storage space.