Schultze said mathematics remains a human activity because independently checking a computer's work would require him to mentally reconstruct and verify the entire proof.

“He summed up the conundrum on Zulip. "I'm just currently feeling that mathematics remains a human activity, because if I were to truly check that the computer did the right thing, I would have to unravel the whole proof in my head and check that it really adds up."”