ABC Conjecture

For coprime positive integers a, b, c with a + b = c, the radical of abc — the product of its distinct prime factors — is rarely much smaller than c. A claimed proof by Mochizuki (2012) remains contested by the mathematical community.