数论中的abc猜想(亦以Oesterlé–Masser猜想 而闻名)最先由乔瑟夫·奥斯达利(Joseph Oesterlé)及大卫·马瑟(David Masser)在1985年提出,一直未能被证明。数学家用三个相关的正整数a,b和c(满足a + b = c)声明此猜想(也因此得名abc猜想)。若d是abc不同素因数的乘积,这个猜想本质上是要说d通常不会比c小太多。换句话来说,如果a,b的因数中有某些素数的高幂次,那c通常就不会被素数的高幂次整除。在2012年8月,日本的京都大学数学家望月新发布了其四篇预印文稿,介绍了他的全面一般化泰勒米希理论,并声称用此理论可证明包括abc猜想在内的几个著名猜