Two-hundred-terabyte maths proof is largest