ABC猜想说明对于任何e>0，存在常数f>0，使得对于任何三个满足a+b=c及a, b互质的正整数a, b, c，有：c<f*(rad(abc)^(1+f),rad(n)表示n的不同质因子的积。ABC猜想是反直觉的。同时ABC猜想和其他很多数论中的未解问题有着重大联系。而且解决ABC猜想的数学工具有可能把远阿贝尔几何发扬光大。
