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.