4 ms·Boolean Pythagorean triples problem's proof chewed up 200TB of data1 points by nitin_flanker 10y ago