Батороев писал(а):
Эта часть гипотезы Каталана доказана еще
Лео Гебракусом.
Немного не по теме, но в этой статье из Кванта авторы пишут, что им неизвестно, существуют ли тройки чисел

, являющиеся антипростыми. Это на самом деле известная гипотеза, носящая имя тройки авторов во главе с Эрдёшем -
Erdös-Mollin-Walsh conjecture on consecutive powerful numbers - эта гипотеза в слабой форме (конечность числа таких троек) является следствием
abc-гипотезы.