1000页级别的猜想证明意味着什么

——哪怕出再多的钱，也没有专家愿意评审

刘永红

组织一批专家，每人看一部分，很快能评审完，不就“共同致富”了吗。如果你有这个想法，那就想得太美了。数学论文，前后具有极强的关联性，若缺乏这一认知，势必迷失在符号里。

对1000页级别的猜想证明，假如只允许审稿专家3天看一页，那么他至少耗费8年多的时间才能看完。这只是保守的估计，想一想，一个人一辈子有多少个8年。再说，有资格评审的资深专家，年纪大了，谁愿意“接单”。因为，一方面想多活几年；另一方面想抓紧时间做自己的研究工作，得考虑时间成本。重要的是，他们并不把金钱看成研究的唯一动力，或者说，成就感不一样。

我们以日本数学家望月新一证明ABC猜想为例：

首先说明一下，数学中，ABC猜想并不是“入门”级猜想，而是极难证明的猜想。二十世纪八十年代中期，由英国数学家麦瑟尔和法国数学家厄斯特勒彼此独立地提出的。其名字乃是来自把猜想中涉及的三个数字称之为A、B、C，以此命名。

ABC猜想的解决直接导致一大类其它猜想或问题的解决，从这一点看，与黎曼猜想一样。因此，证明这个猜想是有重要价值的。

有趣的是，ABC猜想自带“免疫功能”——允许数量有限的反例。说明找到一个反例就“一票否决”猜想，在它面前失效了。据报道，自2006年起，由荷兰莱顿大学数学系牵头，一些数学和计算机爱好者建立了一个名为ABC@Home的分布式计算系统，用以寻找ABC猜想所允许的那些反例。截至2012年9月，该系统已经找到了超过2300万个反例，而且还在以每天几万个的速度稳定增加着。

望月新一于2012年8月底发表了由四篇长文组成的系列论文的第四篇，于是宣称证明了包括ABC猜想在内的若干重要猜想。2012年9月初，包括《自然》、《科学》在内一些重量级学术刊物，以及包括《纽约时报》在内的许多著名媒体纷纷报道了有关ABC猜想的消息，使这一猜想着实风光了一阵子。

但是，证明从宣称到公认，必须经过同行的严格检验。这一检验视证明的复杂程度而定，可长可短。望月新一那四篇论文的总页数超过了500页，他宣称用自创的数学工具证明，但几乎无人看懂，其实他试图重新搭建一座宏伟的“数学高楼大厦”，数学界没有人比他更雄心勃勃了。是的，它引来了数学家的围观，如，陶哲轩在数学讨论网站MathOverflow参与认真讨论，并预判ABC猜想成立。然而，预判归预判，代替不了证明。望月新一的500页论文命运将会如何？不是还没达到本文作者给出的1000页指标吗。如果你有兴趣大胆地“接单”，但前提条件是，你要“验牌”！

但是，AI不用“验牌”。但是，数学家“哭笑不得”，真的！

支持单位：