3 ms·Computer cracks the Boolean Pythagorean triples problem–but is it really maths?2 points by etiam 10y ago