以下内容出自《数理人文》杂志第1期（2013年12月），简体中文版载于“数理人文”微信订阅号，《赛先生》获授权转载。

　　这里的 ABC 之谜不是神探白罗手上的谋杀案，新一也不姓工藤，他叫望月新一，是京都大学数理解析研究所（RIMS）的教授。2012年8月，直播，他在自己的网页放了四篇论文，声称证明了 ABC 猜想。

　　ABC 猜想是数论的知名猜想，可以导出费马大定理、莫德尔猜想（Mordell conjecture）及许多数论猜想。怀尔斯（A. Wiles）十年磨一剑证明费马大定理的故事脍炙人口。法尔廷斯（G. Faltings）则因证明莫德尔猜想获得1986年费尔兹奖。由此可知 ABC 猜想的重要性与困难程度。

　　不过这个事件成为2012年最知名的数学新闻还别有原因。原来望月的论文不止局外人摸不着边际，甚至连当行的专家也读不懂。堪称为“望月流”的数学世界，笼罩抽象的文字障，是他多年苦心孤诣的擘筑，被戏称为“来自未来的数学”。

　　不过望月的背景绝不容人忽视他的证明。他16岁进入普林斯顿大学，23岁拿到数学博士。弦论大师威腾（E. Witten）曾指导他的大学论文，法尔廷斯更是他博士论文的指导教授。仔细浏览望月的网页，看得出他是行事正常的数学家，甚至清楚记录自己写作的心路历程，这四篇他费时十年构思完成的伟文，其中种种转折，都可以从网路上读到。

　　相对于隐然成风的“孤独数学家”现象，望月提供另一种模式，肇因于他学术天地与数学社群的鸿沟。一般认定逻辑正确即为真，但是如果由于语言的障碍，缺乏数学同侪的审核，这些论文还是“正确”的吗？我们如何面对无法审查的正确证明呢？

　　望月在网页放了有心解释论文结构的“小论文”，至少他有自信看待自己的结果，数学界也不乏有兴趣理解这个证明的人。也许双方终究有办法跨出这个难局。

　　延伸阅读

　　①

　　②

　　投稿、授权等请联系：[email protected]

　　您可回复"年份+月份"（如201510），获取指定年月文章，或返回主页点击子菜单获取或搜索往期文章。

　　赛先生由百人传媒投资和创办，文小刚、刘克峰、颜宁三位国际著名科学家担任主编，告诉你正在发生的科学。上帝忘了给我们翅膀，于是，科学家带领我们飞翔。

　　微信号：iscientists

　　▲

　　长按图片识别二维码关注我们