Boolean Pythagorean triples problem's proof chewed up 200TB of data | Hacker News Reader