4 ms·200 TB math proof is largest ever – Boolean Pythagorean triples problem (2016)4 points by segfaultbuserr 6y ago