Largest-ever math proof chews up 200TB of data
 

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...

http://www.engadget.com/2016/05/29/l...of-uses-200tb/