Hacker News Reader

> Catalan's conjecture was proven by Preda Mihăilescu in April 2002.

Cool, so the conjecture's a theorem.

Which has an extremely complicated proof :-(

I wouldn’t call it extremely complicated; it is much simpler than the proof of FLT.

Yes, but there is a much simpler proof.

Something related to prime factorization maybe?

Do tell.