在八年之后，日本京都大学数学家望月新一的 ABC 猜想证明已被接受将发表在其主编的期刊《Publications of the Research Institute for Mathematical Sciences (RIMS)》上。八年前，望月新一发表了长达五六百页的论文，宣布证明了 ABC 猜想。

ABC 猜想涉及到质数、加法和乘法之间的关系，由 David Masser 和 Joseph Oesterle 在 1985 年提出，ABC 指的是如 a+b=c 的方程式，它牵涉到无平方数概念。这篇论文迟迟没有发表，而数学家花了多年时间尝试去理解。

2018 年菲尔茨奖得主、波恩大学数学家 Peter Scholze 和法兰克福大学的 Jakob Stix 发表论文指出，望月新一的证明论文存在“无法修复的漏洞”。望月对批评置之不理，简单回应称这两名数学家没有理解他的论文。现在论文被期刊接受发表并不意味数学界改变了看法。

简单来说，就是有3个数：a、b和c =a+b，如果这3个数互质，没有大于1的公共因子，那么将这3个数不重复的质因子相乘得到的d，看似通常会比c大。举个例子：a=2，b=7，c=a+b=9=3*3。这3个数是互质的，那么不重复的因子相乘就有d=2*7*3=42>c=9。大家还可以实验几组数，比如：3+7=10，4+11=15，也都满足这个看起来的规律。

但是，这只是看起来的规律，其实居然存在反例！著名的ABC@home网站就在用分布式计算寻找ABC猜想的反例，其中一个反例是3+125=128：其中125=5 3 ，128=2 7 ，那么不重复的质因子相乘就是3*5*2=30，128比30要大。

事实上，很容易证明，能找到无穷多的这样反例。

不过我们还是可以挽回颜面猜想，d“通常”不比c“小太多”。怎么叫通常不比c小太多呢？如果我们把d稍微放大一点点，放大成d的（1+ε次方），那么虽然还是不能保证大过c，但却足以让反例从无限个变成有限个。

这就是ABC猜想的表述了。