「4月3日，日本京都大学召开新闻发布会，宣布现年51岁的望月新一（Shinichi Mochizuki）成功证明了数学界顶级难题“abc猜想”，他的论文通过了PRIMS 的最终审查并将于近日发表。此时，距离2012年望月新一首次发表论文宣布证明“abc猜想”，已过去了8年。
作为年少成名的日本天才数学家，望月新一身上有着数学家的典型特质：专注、理性、极富创造力。为了证明abc猜想，他甚至自建了一套 “宇宙际Teichmüller理论”。自称为“宇宙际几何学者”的他，骄傲而孤独，数十年如一日，两耳不闻窗外事，只醉心于自己的数学世界。

他便是自己创造出的宇宙中的独行者。」

望月新一，图源京都大学

年少成名，退隐江湖

1985年，是数学史上极不平凡的一年。这一年，两位骨骼清奇的数学家：乔瑟夫·奥斯达利（Joseph Oesterlé）和大卫·马瑟（David Masser）提出了数论中的abc猜想（也被称为Oesterlé–Masser猜想）。即：三个相关的正整数a，b和c（满足a + b = c），若d是abc不同素因数的乘积，那么d通常不会比c小太多。

该猜想如果成立，包括费马大定理在内的许多数学猜想都可以由此直接推导得出 [1]。可以说，它对于数论的影响，无异于相对论和量子物理之于现代物理学。这项划时代的猜想提出之后，许多数学家曾尝试攻坚，但都败下阵来，故该猜想一直悬而未证，直到望月新一的出现。

被誉为日本天才数学家的望月新一，1969年3月出生于东京。abc猜想刚提出的时候，他只有16岁，还是个意气风发的中二少年。与那位著名的，也叫新一的卡通形象一样，这位新一也脑子特别好使：

16岁，当别的男生还在打架斗殴玩泥巴的时候，望月新一已经进入普林斯顿大学读本科了；
19岁，他读完本科进入研究生院，师从著名德国数学家、1986年菲尔茨奖得主格尔德·法尔廷斯（Gerd Faltings）；
23岁（1992年），他获得数学博士学位，并于同年回到日本担任京都大学数理解析研究所任助手；
33岁，他就成为了京都大学的教授，目前在京都大学数理解析研究所研究数论，研究领域包括：算术几何，霍奇理论和远阿贝尔几何（Anabelian geometry）。

望月新一开始研究abc猜想时，距猜想提出不过10年，且此前，相关研究几乎毫无进展，摆在他面前的几乎是一张白纸。而与这张前景不明的白纸相比，望月新一却已在数学界崭露头角。

1998年，因在 “远阿贝尔几何” 研究中作出的卓越贡献，29岁的望月新一受邀参加在德国柏林举办的第23届国际数学家大会。面对黑压压一大群资历深厚的前辈，这位头发浓密的年轻人毫不怯场，在演讲中介绍着自己对远阿贝尔几何的研究。当时在场的各国数学大佬们可能怎么也想不到，十几年后，台上这个平平无奇的年轻人会破解他们都望而却步的数学难题，而他所运用的理论工具，正是当时所讲的远阿贝尔几何。

回过头来看，这场四年一度的数学盛会像是望月新一的闭关大典。演讲结束后，他便退隐江湖，从学术界消失，闭关研究abc猜想的证明去了。这一研究，就是14年。

14年间，他一直潜心钻研abc猜想的证明之法，断绝了与外界的几乎一切联系，可谓神龙见首不见尾：从不在公共场合露面，不接受记者采访，不参加各种社交活动和研讨会议，只是偶尔在自己京都大学的主页上更新一下最近的研究进度——他的习惯是独自工作，发表论文后，让其他人自己理解 [1]。他的主页也透露着一股浓浓的理科直男审美风，颇为辣眼。

望月新一京都大学主页，图源[6]

14年的时间，生个孩子都小升初了，望月新一的研究也终于有了眉目。

重出江湖，一鸣惊人

14年后，消失的数学家重出江湖，还带回一卷读不懂的 “天书” ：2012年，时任京都大学教授的望月新一在其数学系主页上发表了4篇共长达512页的论文，声称自己破解了abc猜想这一顶级数学难题。

望月新一此举，无异于一颗原子弹，引起了整个数学界的轰动。《自然》、《科学》等重量级学术刊物和《纽约时报》等著名媒体纷纷报道了这一消息，一时间，望月新一风光无二。而世界各地的数学家们当然更关心这一研究，他们摩拳擦掌，跃跃欲试，迫不及待地想要看看这位日本数学家是如何破解困扰数学界20多年的难题的，可是，当他们看到论文的时候，集体傻眼了：这……这到底是个啥？

望月新一论文截图，他的论文运用了许多自创的概念和理论，充斥着各种看不懂的符号和术语，可谓极度抽象。图源[7]

由于前人在abc猜想的研究领域收获甚少，因此在证明过程中能利用的成果也是凤毛麟角。

不过这难不倒望月新一，他有自己的想法：“这还不简单，我自己整一个呗！”

论文中，他自建了一套 “宇宙际Teichmüller理论”（是的，他自己发明了个新的理论来证明abc猜想）。他定义了各种前所未有的神秘术语，如第一篇论文里的 “霍奇影院” （Hodge Theater）和第二篇论文里的 “外星算数全纯结构”（alien arithmetic holomorphic structures）[5]。

要说清这篇堪比天书的论文，就不得不提到前文中的“远阿贝尔几何”。远阿贝尔几何由代数几何教皇格罗腾迪克于上个世纪80年代创建，研究对象是不同几何物体上的代数簇的基本群的结构相似性 [1]。作为不可多得的数学天才，望月新一年纪轻轻就在远阿贝尔几何领域有所成就，随随便便一研究，就发表了750页的相关论文。此后，他便以此为理论工具，投入到abc猜想的证明研究当中。

因此，对于绝大多数数学家而言，最大的问题不是判断他对于abc猜想的证明过程正确与否，而是根本就读不懂——要透彻理解望月新一500多页的证明论文，首先需要读懂其关于远阿贝尔几何的700多页论文，然而，全世界只有约50名数学家有足够的背景知识去通读他关于远阿贝尔几何的研究，更别说研读其abc猜想的论文。所以，即使如此轰动一时的时髦论文，据说，全球也只有十几位数学家深入研究了他论文中的证明过程。

另一边，望月新一论文的发表历程，也是一波三折：自2012年论文初次发表后，经历了8年的同行评审和多次修改，其间还开过多次研讨会。但因其论文实在难以研读，其理论自然也一直未得到学界的广泛认可。包括2018年菲尔兹奖得主Peter Scholze在内的一些顶尖数学家，都认为他的论文目前并不足以证明abc猜想 [2]。

最早阅读他论文的数学家，可谓一头雾水，面对各种看不懂的符号和术语，直言其难度堪比破译外星语言（alien language）[3]，就连天才华人数学家陶哲轩也表示看不懂。早期，几位出色而勇敢的数学家成立了“天书”解读小组。其间，美国耶鲁大学的数学系研究生Vesselin Dimitrov和斯坦福大学的Akshay Venkatesh发现了论文中的一处错误，望月新一本人也确认了错误，但表示那只是一个无关大局的小错误。此后，他数次更新了自己的论文，反复修订，最终论文长度达到了600页 [4]。

论文将发，质疑仍存

经年评审、反复修订，望月新一的理论一直未被学界普遍接受，除了论文内容繁复难以阅读外，还有以下原因：

第一，论证过程本身可能仍存在错误。

除了上文所提到的耶鲁大学数学系研究生发现的错误外，来自德国波恩大学的两位数学家Peter Scholze 和 Jakob Stix 也表示论文具有根本缺陷。2018年，Scholze 和 Stix 二人在数学和物理学杂志 Quanta 上表示，望月新一第三篇论文中 “推论3.12” 的证明过程从根本上来说是有缺陷的，而该推论对于abc猜想的证明至关重要。

菲尔兹奖得主Peter Scholze，图源[8]

 Jakob Stix，图源[8]

Scholze 曾在2018年前往京都大学与望月新一探讨了“推论3.12”的问题，但双方并未就此达成一致意见。对此，望月新一并未公开回应，只是随后在其个人主页上简单发布了对 Scholze 和 Stix 的反驳意见，他将 Scholze 和 Stix 的批评归因于他们对自己论文的 “某些基本误解”，他表示，二人对论文所持有的“消极立场”并不意味着他的理论中存在任何缺陷。[9]

不仅如此，在望月新一即将发表的600多页论文中，也并未出现针对Scholze 的意见所作出的修改。Scholze表示：“我认为abc猜想仍未解决（still open），任何人都有机会证明这一点。” [8]

第二，接收论文的日本期刊 PRIMS，主编正是望月新一本人。

一篇学界多数数学家都读不懂的论文，发表在自己所担任主编的期刊上，由自己的同事评审后进行发表，这样的做法是否有失公允？

对于这一问题，前RIMS（京都大学数理解析研究所）编委会的成员、东京卡维利宇宙物理和数学研究所（Kavli Institute for the Physics and Mathematics of the Universe in Tokyo）数学家中岛平久（Hiraku Nakajima）回应，这种情况很 “常见”：“数学家经常在他们担任编辑的期刊上发表论文，只要作者回避同行评审过程，这样就不算违反任何规则”。RIMS的另一位数学家 Masaki Kashiwara 也表示，望月新一已经回避了论文的审查过程，也没有参加任何有关该论文的编委会会议。此外，出版该杂志的欧洲数学学会（European Mathematical Society ，EMS）主席沃尔克·梅尔曼（Volker Mehrmann）同样认为，望月新一的身份并不会违反EMS的规则 [2]。

4月3日，日本京都大学召开新闻发布会，宣布望月新的论文通过了PRIMS的最终审查并将于近日发表。如果他的证明无误，这将是21世纪最令人震惊的数学成就之一，整个数论领域也将会因此而彻底改变。[1]

然而，即使是这场重要的新闻发布会，作为主角的望月新一却仍是未曾露面。从论文初次发表至今，他拒绝了所有机构或个人对他发出的采访和探讨论文内容的邀请；一些数论工作者希望他将证明过程的逻辑脉络以综述的形式呈现给大家，他同样不予回应。包括他的导师法尔廷斯在内的许多人，都对他的这种态度大为不满，公开批评他没有试图更清晰地表明自己的观点和思想 [2]。

对于望月新一的这种“佛系”处世之道，牛津大学数学教授金明迥（Minhyong Kim）作出的评价是：
“当你沉浸在自己的理论宇宙中太久，你会察觉不到他人对于你的理论的困惑，因为你先入为主地假设了所有人都明白很多基础知识。” [1]

据 Kashiwara 透露，望月新一的论文于2月5日被期刊接受，但正式出版日期尚未确定。在数学界，期刊的认可往往不是同行评议过程的结束。一个 “猜想” 的证明只有在社会已经达成共识并且认同其正确性之后才会真正成为一个被接受的“定理”，而这个结果可能需要在论文正式发表数年后才能得以实现 [2]。因此，即使望月新一的论文不日顺利发表， “abc猜想” 成为 “abc定理” 仍是道阻且长。

故事到此就告一段落了，无论是看戏的观众还是佛系的主角，大家都在见证历史。

参考资料
[1] https://baike.so.com/doc/5407724-5645660.html
[2] https://www.nature.com/articles/d41586-020-00998-2
[3] https://futurism.com/the-byte/mathematicians-shocked-paper-published
[4] http://jandan.net/2017/12/19/abc-guess.html
[5]https://www.360kuai.com/pc/91295e67476839ea8?cota=3&kuai_so=1&sign=360_57c3bbd1&refer_scene=so_1
[6]http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html
[7]http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf
[8]https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/
[9] http://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2018-03.html