The Collatz conjecture can be stated using basic arithmetic, yet LLMs have not been able to solve it.
I agree it's easier than Collatz. I just mean I am not sure it's much easier than many currently open questions which are less famous but need more machinery.
That is also one of the hardest problems.
I agree it's easier than Collatz. I just mean I am not sure it's much easier than many currently open questions which are less famous but need more machinery.