2012年8月30日，时任京都大学教授的望月新一在数学系个人网站上贴了4篇共长达512页论文，宣称自己解决了数学史上最富传奇色彩的未解猜想：abc猜想。他的证明很长且十分复杂，使用了很多自创的概念和技巧，因此即使相关领域的数学家也感到难以理解。
ABC猜想由David Masser和Joseph Oesterle在1985年提出，ABC指的是如a+b=c的方程式，它牵涉到无平方数概念。所谓无平方数是一个数不能被任何数的平方整除，例如，15和17是无平方数，但16和18是平方数——它们可以分别被42 和32整除。对于一个数n，sqp(n)代表它的最大无平方数，这个无平方数是n的质因子的乘积，例如18的质因子是2和3，那么sqp(18)=2x3=6。ABC猜想声明：对于整数 a+b=c，如果r>1，那么sqp(abc) r /c的值总是大于零。例如，a=3和b=125，c=128，那么sqp(abc)=30，对于r=2，sqp(abc)2/c = 900/128，最后的值大于1也肯定大于零。
ABC猜想涉及到质数、加法和乘法之间的关系，如果证明正确，将有可能在数论领域掀起一场革命，将能大大简化费马大定理的证明。UCLA数学家陶哲轩和牛津大学数学家Minhyong Kim都讨论了望月新一的证明。
现代数学研究的机制已经趋于成熟，一个问题总是基于前人的工作和对相关问题的理解而提出的，解决问题的机制也多为已知方法的变种。2003年，佩雷尔曼证明了统一人类对三维宇宙认识的庞伽莱猜想，用的是上世纪80年代汉密尔顿引入微分几何的研究方法“Ricci曲率流”；几百年前费马声称空白太窄写不下证明过程的费马最后定理，怀尔斯爵士在上世纪上世纪80年代证明该猜想时，用的也是上世纪50年代建立起来高阶椭圆曲线的模形式理论。
望月新一遇到的情况却有点不同。他已经在ABC猜想的证明工作上独自思考了20年，建立起了他称之为“宇宙際Teichmüller理論”的新世界，定义了各种前所未有的神秘术语，比如第一篇论文讲了“霍奇影院”（Hodge Theater）的构造，第二篇论文则引入了“外星算数全纯结构”（alien arithmetic holomorphic structures）。
代数几何和数论领域的大多数资深数学工作者都认为，望月的理论过于玄妙，不值得花上几年时间去仔细阅读，弄清楚新定义的术语、推理的脉络和理论的结构。诚然，最坏的可能是，到头来大家发现这个新理论把自己绕进了死胡同；当然，最好的结果是，望月的证明建立起了新的数学分支，将代数几何和数论统一起来。
2013年和2014年，望月新一在网上公开了检验进度报告。最近消息，2018年1月，这篇文章终于要发表了。
在公布五年之后，这篇论文最快将于明年 1 月发表在数学期刊上了，ABC 猜想真的被证明了？可能还没有。因为接受论文的数学期刊是望月的工作机构出版的，而他正是该期刊的主编，其中显然存在利益冲突。他的论文之所有没有被其它数学期刊接受的一个原因被认为是其他人看不懂，对此望月本人曾在几年前公开表达过不满。数学家们表示在能理解前他们并不接受 ABC 猜想被证明了。
望月新一其人
望月新一（1969年3月29日－），生于日本东京都，数学家，京都大学数理解析研究所教授。专注于数论工作领域包括算术几何，霍奇理论和远阿贝尔几何。
望月新一5岁的时候随父母离开日本前往纽约，他进入菲利普斯埃克塞特学院读中学，并在1985年毕业。他于16岁进入普林斯顿大学读本科，并毕业于1988年。然后他在格尔德·法尔廷斯导师指导下于23岁获得博士学位。他于1992年进入京都大学数理解析研究所，并于2002年晋升为教授。
2013年5月，有报道指出泰德·尼尔森认为望月新一是使用化名“中本聪”的比特币的发明者。[9]但是有人指他的猜测疑点很多，因为望月新一身为纯数学家，难以想像他会感兴趣于现实中可立即应用的事情，而且比特币所赖的技术基础密码学，也非他的研究兴趣。又中本聪本身可能不是日本人。[10]后来在2013年7月澳大利亚报章The Age的一则报道中，声称望月新一否认了这一猜测。
可乐综合了果壳、solidot等的报道，特此致谢。