[PaulHoule]

I'm not that curious.

There are simple arguments that Collatz should do what it seems to do that certainly hold up for most N, it's the "all N" part that's hard.

I'd expect the form of an answer to Collatz to have a form similar to Wiles' proof of Fermat's Last Theorem. Not just "too big to fit in the margin" but more like six years of work in isolation, huge manuscript and all.

[stuartriffle]

Yep. Me too. This is simple modular arithmetic.

All the major AI buy my nonsense though.

I'd very much like to know what's wrong.