Largest-ever math proof chews up 200TB of data

@ 2016/05/31
You've probably been asked to prove a math solution at some point, but never like this. Researchers have created the world's largest math proof while solving the Boolean Pythagorean triples problem, consuming a whopping 200TB of data -- the previous...

No comments available.