Largest-ever math proof chews up 200TB of dataYou won't be verifying this problem on your home PC.By J. Fingas, 05.29.2016
