La conjetura de Catalan fue demostrada por Preda Mihăilescu en 2002.