Concerned that the mathematics might be incorrect, Kevin Buzzard questioned its point and began asking whether machines could check mathematical proofs.

“And if they're not right, then almost, you know, what is the point of this stuff at all? So I had some kind of crisis, and I started thinking, you know, would it be possible to check mathematics using machines?”