abc猜想被证明了。
数论中的abc猜想(亦以Oesterlé–Masser猜想 而闻名)最先由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出,2012年数学家望月新一声称证明了此猜想。
数学家用三个相关的正整数a,b和c(满足a + b = c)声明此猜想(也因此得名abc猜想)。若d是abc不同素因数的乘积,这个猜想本质上是要说d通常不会比c小太多。换句话来说,如果a,b的因数中有某些素数的高幂次,那c通常就不会被素数的高幂次整除。
abc猜想因它所带来的一些关于数论的有趣的结论而著名,很多著名的猜想和定理都紧接着abc猜想问世 。数学家Goldfeld (1996)认为abc猜想是“the most important unsolved problem in Diophantine analysis”。
Lucien Szpiro(法国数学家,因其在数论、算术代数几何和交换代数上的贡献而知其名)在2007年时尝试攻克此猜想,但后被证明其中有误。
在2012年8月,日本的京都大学数学家望月新一(mochizuki shin'ichi)发布了其四篇预印文稿,介绍了他的Inter-universal Teichmüller theory(宇宙际Teichmüller理论),并声称用此理论可证明包括abc猜想在内的几个著名猜想。
他的论文在数学期刊上刊登以供参考查阅,很多人也开始学习他的理论。很多数学家对他的文章持怀疑态度,也正是因为他这篇古怪晦涩的证明,我们知道了,要解决这个猜想或许还是要走上孤独的漫漫长路。