カタラン予想
この問題の歴史は、少なくともゲルソニデスにまでさかのぼる。ゲルソニデスは1343年に、この予想の特殊なケースとして (x, y) が (2, 3) または (3, 2) の場合を証明した。1850年にヴィクトル・アメデ・レベスグが b =2 の場合を扱ったのが、カタランが予想を立ててから最初の重要な進歩であった。
1976年、 ロバート・タイデマン(英語版)は超越数論のベイカーの方法を適用して a, b の境界を定め、 x, y を a, b で制限する既存の結果を用いて、 x, y, a, b の有効な上限を与えた。ミシェル・ランゲビンはこの上限を exp  exp  exp  exp  730 ≈ 10 10 10 10 317 {\displaystyle \exp \exp \exp \exp 730\approx 10^{10^{10^{10^{317}}}}} と計算した。これにより、有限の数の場合を除いてカタラン予想が解決された。それにもかかわらず、定理を証明するために必要な有限の計算は、時間がかかりすぎるものであった。
カタラン予想は、2002年4月にプレダ・ミハイレスクによって証明され、2004年の Journal für die reine und angewandte Mathematik に掲載された。この証明は円分体とガロワ加群の理論を多用している。証明の解説は、セミネール・ブルバキのユーリ・ビルが行っている。2005年、ミハレスクは簡略化された証明を公開した。