abc conjecture

The abc conjecture (also known as the Oesterlé–Masser conjecture) is a <a href="/facts/Conjecture/oPWUb7SF">conjecture</a> in <a href="/facts/Number_theory/zhoa7zrc">number theory</a> that arose out of a discussion of <a href="/facts/Joseph_Oesterl%C3%A9/YBLCcxLA">Joseph Oesterlé</a> and <a href="/facts/David_Masser/91TBlV3n">David Masser</a> in 1985. It is stated in terms of three <a href="/facts/Positive_integer/u65og8JE">positive integers</a> 
 
 
 
 a
 ,
 b
 
 
 {\displaystyle a,b}
 
 and 
 
 
 
 c
 
 
 {\displaystyle c}
 
 (hence the name) that are <a href="/facts/Coprime_integers/bnCxCXxs">relatively prime</a> and satisfy 
 
 
 
 a
 +
 b
 =
 c
 
 
 {\displaystyle a+b=c}
 
. The conjecture essentially states that the product of the distinct <a href="/facts/Prime_factor/L20FLkgn">prime factors</a> of 
 
 
 
 a
 b
 c
 
 
 {\displaystyle abc}
 
 is usually not much smaller than 
 
 
 
 c
 
 
 {\displaystyle c}
 
. A number of famous conjectures and theorems in number theory would follow immediately from the abc conjecture or its versions. Mathematician <a href="/facts/Dorian_M._Goldfeld/I9dBLEA6">Dorian Goldfeld</a> described the abc conjecture as "The most important unsolved problem in <a href="/facts/Diophantine_analysis/mYaHp7oX">Diophantine analysis</a>".
The abc conjecture originated as the outcome of attempts by Oesterlé and Masser to understand the <a href="/facts/Szpiro_conjecture/LqYE6vK5">Szpiro conjecture</a> about <a href="/facts/Elliptic_curve/60jvaHSA">elliptic curves</a>, which involves more geometric structures in its statement than the abc conjecture. The abc conjecture was shown to be equivalent to the modified Szpiro's conjecture.
Various attempts to prove the abc conjecture have been made, but none have gained broad acceptance. <a href="/facts/Shinichi_Mochizuki/24KRK3Gj">Shinichi Mochizuki</a> claimed to have a proof in 2012, but the conjecture is still regarded as unproven by the mainstream mathematical community.

abc conjecture open-in-new

abc conjecture