Hypothetically, if a solution to a problem requires a billion intricate steps there is no way for humans to comprehend it. Human life span is too short. We can't even grasp what it entails. If a machine can pump out humongous proofs and solutions on a regular basis we will never catch up.