>There's no good reason to think that humans are capable of finding proofs that are hard to find algorithmically

That’s really all I was trying to say, not sure why I’m getting downvoted