Link. “They supported it with a long proof — 200 gigabytes in size — justifying their conclusion.”