>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 sur

>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