That was quite an enjoyable read.

It's so interesting that a problem so simple to explain would require hundreds of pages of proof.

I'm really interested in whether the Collatz conjecture will be proven too.