[schoen]

> Perhaps these things are too hard for (human) mathematics.

I'm guessing this thought is partly inspired by Erdős's remark about the Collatz conjecture?

https://hsm.stackexchange.com/questions/6389/paul-erdos-quot...