> 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? http

> 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-quote-mathematics-is-not-yet-ready-for-such-problems https://hsm.stackexchange.com/questions/6389/paul-erdos-quot...