The 'given enough time' is doing a lot of the heavy lifting in this argument.

Humans approach large complex proofs with symmetry arguments and case splits.

These are not necessarily going to be universal in all kinds of reasoning.