Гипотеза ABC гласит: для любого ε > 0 существует постоянная kε>0, такая, что если a, b и c — положительные целые числа, не имеющие общих делителей больших 1, и a + b = c, то c ≤ kεP¹⁺ε, где P — результат перемножения всех различных простых делителей abc.