第193章 会议上的证明
言旭坐在台下，手持纸笔，已经写了不少他感兴趣的内容，至少他列出来的公式定理起码写了十页，都叠好放在了案板上呢。 当然，这种认真听人发言并思考的事情，只截止到希尔上台之前。 关于如何攻克ACC猜想的几个方案。 这是希尔上去讲的内容。 logcanonicalthresholds的ACC猜想，这是代数几何中一个著名猜想，而ACC这样的猜想也并不是一朝一夕可以完成的。 希尔想攻克ACC，但那也只是个想法，以下面的人来看，现在他拿出来的材料文件，也仅仅只是一个初步筹备阶段罢了。 若他是想跟人合力完成论文的话，那么理所当然的，各方都得亮出自己的本事，证明自己有合作的能力，不然就算是发起人，到时候论文上自己的名字也会排在别人后面。 希尔在台上发言的时候倒是一本正经，若言旭没见识到他昨天的那副嘴脸，可能今个儿也不会重点“关照”他。 无他，普罗大众没啥亮点。 甚至如果希尔现在站在言旭面前，他可能都会来一句。 “就这？他还以为多厉害呢。” 随便列一个还未展开的课题，连后续有没有都还不知道，这人昨天是怎么有勇气说别人是垃圾的？起码得让自己有项拿得出手的论文再说吧？ 对攻克ACC猜想有想法的人不少，希尔讲话的时候，有不少对他说的内容提出了问题。 浅显一点的，他对答如流，稍微深入一点，磕磕巴巴，更深入的？不好意思，答不上来了。 底下众人虽未摇头，但举手的人却渐渐少了。 自取其辱。 言旭在心里摇了摇头，对台上强颜欢笑、面色尴尬的希尔并不同情。 既然对ACC猜想了解并不透彻，何必选择这个课题呢？选一个自己不擅长的撑面子，大庭广众的只会让自己更没面子。 希尔确实很没面子的下去了。 上去发言的人那么多，唯有他一个被人“问住”多次。 都是数学界的精英，哪怕大家不清楚这个结果过程，但只要有概念，顺着逻辑去算，总会知道是对是错。 肚子里有没有墨，墨水多深，大家都是搞数学的，一问能能摸清。 那些含糊不清的说辞，在这儿是行不通的，因为大家只相信真理。 希尔下台后，言旭朝他那个方向看去。 两边离得不远，言旭视力好看得也清，很清楚得看见他和沃尔茨坐在一起。 希尔下台以后脸色本就不好看，沃尔茨在他坐下后，偏头似乎对他说了什么，然后言旭就看见他脸更臭了，皱着眉似乎在跟沃尔茨争辩。 两个人在位子上争论了几句，然后就扭头互相没再搭理了。 至此，言旭也是收回目光没再关注。 人都是一个个轮着来的，且不一定都会上去。 希尔结束后的第八个人，是言旭。 拿着U盘，在身边人鼓励的眼神中，言旭淡定地走上台。 底下众多双眼睛看着他，除了灯光，还有摄像头。 这里是学术交流会，若说没上台前言旭还有些小紧张，但真的站在台上后，言旭才发现。 自己紧张的不是即将要发生的事，而是未来可能会发生的事。 他在兴奋。 大屏幕上出现了“周氏猜测”的内容，言旭看着下面的众人，开始说话了。 “周海中于1992年在《梅森素数的分布规律》一文中提出了一个猜测，即大家所认知的‘周氏猜测’。而我今天要讲的，就是‘周氏猜测’的证明。” 此话一出，底下了解“周氏猜测”的人都瞪大了眼睛。 这是一个经典的数学难题，自提出来后几十年都未曾有人证明出来，现在台上的人居然说自己要讲“周氏猜测”的证明？ 这是已经证明出来了，现在公布给他们听的吗？来之前他们都未曾听，这说明了什么？ 说明了台上这人是第一次公开声明，而这里，就是首次亮相地！ 所有了解或者研究这方面的人都坐直了身子，掏出了纸笔，全神贯注听台上的人讲解，准备找出他的逻辑bug。 总有一些人觉得自己解决了那些国际难题，但是等他们沾沾自喜想要公布在世人面前的时候，却总能让人找出他解决问题中的逻辑BUG。 真正解决一个难题，是要在反复的拷问和审视中做到毫无破绽，这才能让人懂行的相信，这个难题是真的被人解决了。 而现在，言旭正在经历这个阶段。 “当2^（2^n）<2^（2^（n 1））时，p有2^（n 1）－1个是素数……” “马林·梅森曾对“2P-1”型素数作过较为系统而深入的探究……数学界就把2P-1型的数称为‘梅森数’MP……” “卢卡斯-雷默方法对MP有新的检索方法……” “……” 台上，言旭不急不缓地叙述着自己的逻辑思路，展示着屏幕上的种种解答过程，时不时还会拿起油性笔在旁边的板上书写着过程。 偶尔有人站起来提出质疑，言旭也只是淡定地拿起笔，在板上写出对应的公式理论，去驳回对方的质疑。 而无论底下提出问题的人有多少，言旭在台上都是面不改色的样子，回答对方问题的速度也是越来越快，甚至到了后面，都不需要底下的众人问，他就直接把他们要问的解释了。 在真理上，大家思路都是相通的，无论是当初他自己卡思路的时候，还是唐教授向他提出质疑的时候，这些他们能想到的疑问，言旭自己和唐教授也都想到过。 底下的众人沉浸在了他的思路里，所有拿起笔跟着演算的人，表情各不相同，但无一例外的，就是他们的眼睛越来越亮！ 因为他们发现，台上人的逻辑思路都是正确的，他们找不到任何BUG！那些认为是bug的地方，都被台上的人一一解答了出来，试问这种情况下，他们还需要在质疑吗？ “周氏猜测”是真的被人证明出来了啊。 一众人如梦似幻，看看台上，又看看自己手里的草稿，不敢相信之余又有些荣幸。 他们都是见证一个世界难题解决了的人呢！ 录像的人也是明白了什么，从言旭开讲的那一刻起，镜头就一直在对准他，丝毫不漏任何一个镜头。 哪怕被证实是一个乌龙也不要紧，毕竟谁都有错的时候，但若是真的呢？ 事实证明，录像的人做对了。 所有的证明过程已经讲完了，言旭回首看了眼屏幕，然后对着底下的众人笑了笑。 “感谢大家能在这儿听我阐述思路，我的‘表演’已经结束了，期待大家后面能继续来找我的麻烦。” 底下的人都会心地笑了起来。 证明出了一个国际难题，后面的“麻烦”肯定是不会少的，他们这些感兴趣的人自然也会上去讨教。 言旭下去了，在过路人友好的目光笑容下回到了自己的座位。 沃尔茨看着他的身影，也是露出了一个笑容，“他很厉害，他的数学天赋一定很棒！” 希尔皱眉面色铁青，咬牙低声道：“沃尔茨！你到底是谁的朋友！为什么要去夸一个臭猴子？” 沃尔茨敛了微笑，扭头看他，严肃道：“我虽然对‘周氏猜测’没有深入研究过，但能证明出国际难题的人，他难道不厉害吗？希尔，其实我不喜欢你这样说别人，他会是一个值得尊敬的数学家。” 希尔深呼吸，“好的，沃尔茨，你被人蒙蔽了！我不跟你计较，但我希望你能好好反省一下，我才是你最好的朋友！” 沃尔茨没再说话，他盯着希尔看了几眼，突然摇头，有些失望道：“希尔，我们很小就认识了，我一直都不想失去你这个朋友，但我发现我已经无法忍受你的性格了，也许叶言旭说的是对的。” 希尔听懂了他的意思，看着他的眼神尤为不可思议。 “你要跟我绝交？你居然为了一个黄皮猴子跟我绝交！沃尔茨你疯了！” “不，我没疯。”沃尔茨很认真道：“希尔，我尊重每一个值得尊敬的人，而如果你还是学不会尊重别人，我想我们以后都做不成朋友了。” 言旭知道沃尔茨决定和希尔绝交是在第二天下午。 没办法，他在交流会上证明出了“周氏猜测”，会上众人就算再心痒难耐，也没有办法面对面交流，而会下，言旭可以说都快被人预约满了时间！全是细问交流的。 再遇到沃尔茨的时候，也是第二天交流会结束后，言旭在餐厅看到他一个人在用餐。 交流会上的头脑风暴，在结束后也不会停止，餐厅可以说是众多数学家们的第二演练场所。 随处可望坐在餐桌上讨论数学题、以及拿着纸笔写写画画的人，言旭本来只是想跟种花的人一起坐下吃个饭，但在看到沃尔茨一个人的时候，还是不由得挑了下眉。 D国这次过来的人只有三个，言旭看到了希尔跟另个一个男人坐在一边说笑，半点眼光都没有给距离他们不愿的沃尔茨身上。 很明显，沃尔茨被他们国家的人排挤了。 言旭跟身边的人说了几句，然后就端着盘子走了过去。 “你看起来并不需要我安慰的样子，我想我来得有些多余了。” 看到沃尔茨盘子旁边的纸，言旭边说边坐在了他对面。 沃尔茨惊讶地抬头，笑了笑，“啊，让你见笑了，只是刚才会上听人讲ABC猜想，所以我对此有点想法罢了。” 言旭看了眼那张满是字符的纸，“看起来不太像是有点想法的样子。” “因为突然间想到了望月新一的理论，所以就都写了下来。”沃尔茨看着纸上的笔记，脸上还有些遗憾，“不过有些可惜，我对于他的宇宙际Teichmüller理论还是有些不太理解。” 数论中的ABC猜想最先由乔瑟夫·奥斯达斯及大卫·马瑟提出，不少人想要攻克但都无解，最后望月新一提出了宇宙际Teichmüller理论，但因为太过晦涩难懂，不少数学家都持有质疑。 ABC猜想的重要性仅次于黎曼猜想，如果被解决了，那绝对是本世纪以来最为伟大的数学成就之一——因为它会彻底革新对整数方程的研究，同时通过延伸可以解决一百多个数论领域中最为重要的公开问题。 言旭读过望月新一的四篇预印文稿，也试图去理解他的逻辑，最后发现实在看不懂，所以就放弃去理解了。 言旭对ABC猜想兴致缺缺，但这阻挡不了沃尔茨对它的兴趣。 好在沃尔茨在跟言旭说了几句他关于ABC猜想的理解后，见他兴致缺缺，便很有眼色地换了个话题。 “交流会今天就结束了，我想你应该是晚上的飞机。” 言旭：“这么肯定？” “当然，毕竟你没有在任何期刊上发表周氏猜测的证明，就直接在这儿公布了，我想你的导师应该在催你了吧。”沃尔茨只是珍惜朋友，可不代表他什么都不懂。 言旭看向他，笑道：“我的导师知道这事，不过原是准备发表在SCI的。” 不过只是因为希尔的挑衅，所以他提前公布了罢了。 沃尔茨抱歉地看着他，“对不起，我也不知道希尔为什么会成现在这样。” 人和人都是不一样的，沃尔茨又不是希尔，言旭对连坐没什么概念。 “所以你们，闹矛盾了？”言旭看了眼希尔的方向。 沃尔茨苦笑了下，“算是吧。” 没什么好说的，人家这就跟失恋一样，失去了一个朋友，都是情绪低落的时候，言旭也不是幸灾乐祸的人，最多只是在心里鼓掌罢了。 “没事，数学还在呢，真理会一直陪着你的。” 言旭冲他安慰一笑，本只是随口一说，没想到沃尔茨还很认同的点头。 “是的，我还有数学。” 得，不需要安慰了。 用餐结束后，言旭立刻回了酒店，因为确实如沃尔茨所言，他今晚就得回国。 毕竟证明已经公布了，还缺一个正式的期刊发表。毕竟这只是一个交流会，消息虽然已经散发出去了，但真正见识到的人还很少，期刊发表了才能让更多的人知道。