数学是相通的

　　德利涅的眉头微微皱起，舒尔茨的笑容淡了些，陆佳木则有些尴尬的看向顾清尘，他的脸色都沉了下来。

　　舒尔茨先开口，语气依然温和但带着某种坚持：

　　“望月，肖宿在普林斯顿的报告还没做呢。”

　　“我只是提供了一个选择。”

　　望月新一说，目光仍停留在肖宿身上。

　　“数学研究需要安静的环境，需要不被干扰的思考时间。我们京都大学完全可以给出这样的环境。”

　　肖宿放下筷子，很认真地说：“我在京大很好。”

　　简短的五个字，却让望月新一的表情出现了细微的变化。

　　那是一种混合着遗憾和不解的神情。

　　“京大的数学确实不错，”

　　“但RIMS在代数几何和数论方面有更深的传统。而且……”

　　他顿了顿，“如果你对我的abc猜想证明感兴趣，我们可以有更深入的讨论。”

　　这句话让餐桌彻底安静下来。

　　abc猜想是数论中一个极其重要的问题，如果真被证明，将能推出费马大定理、卡塔兰猜想等一系列著名结果。

　　望月新一在2012年宣称证明了它，但六百多页的证明使用了大量自创的理论体系，至今未被数学界完全验证。

　　舒尔茨轻轻叹了口气：

　　“望月，明天的讨论会，我们会继续讨论你的证明。”

　　“我知道。”

　　望月新一转向他，表情平静，“我也知道你和法尔廷斯教授准备了反驳。但我想说的是……”

　　他停顿了一下，目光扫过在座的每个人：

　　“我最近对证明的一些关键步骤做了重新表述，用了更清晰的框架。”

　　“所以明天……也许不是你们说服我，而是我说服你们。”

　　德利涅缓缓开口：“数学真理不靠说服，靠验证。”

　　“当然。”

　　望月新一点头。

　　“所以明天我会给出完整的验证路径。每个步骤，每个定义，都会尽可能清晰。”

　　他说完，重新看向肖宿：

　　“不论如何，我的邀请长期有效。如果你改变主意，随时可以联系我。”

　　望月新一站起身，对在座各位微微颔首，然后转身离开了餐厅。

　　他走后，餐桌上的沉默持续了十几秒。

　　舒尔茨揉了揉太阳穴，苦笑着对肖宿说：

　　“别介意。望月教授一直都是这样。对自己的工作极度自信，对认可极度渴望。”

　　肖宿完全没有在意，其实他听说过abc证明，但是目前还没有研究过。

　　“他的证明有问题吗？”

　　几位数学家交换了眼神。

　　最后是德利涅回答：

　　“不是‘有问题’，而是‘无法被验证’。他创造了一套几乎完全私有的语言体系，其他人要读懂，必须先学习那套语言，而语言的创造者是他自己。”

　　“就像有人写了一本字典，然后只用这本字典里的词写文章。”

　　舒尔茨比喻道，“其他人要读这篇文章，必须先学会这本字典。但问题是，字典的编纂规则也只有作者自己清楚。”

　　肖宿点点头。

　　“数学需要交流。”

　　弗洛尔说，“一个完全封闭的体系，即使内部再自洽，如果无法与现有数学对话，它的价值就大打折扣。”

　　晚餐在稍显沉重的气氛中继续。

　　话题转向了明天年会的开幕式安排，以及接下来几天的重要报