第193章 会议上的证明

言旭坐在台下,手持纸笔,已经写了不少他感兴趣的内容,至少他列出来的公式定理起码写了十页,都叠好放在了案板上呢。

当然,这种认真听人发言并思考的事情,只截止到希尔上台之前。

关于如何攻克ACC猜想的几个方案。

这是希尔上去讲的内容。

log canonical thresholds的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猜想,所以我对此有点想法罢了。”

言旭看了眼那张满是字符的纸,“看起来不太像是有点想法的样子。”

“因为突然间想到了望月新一的理论,所以就都写了下来。”沃尔茨看着纸上的笔记,脸上还有些遗憾,“不过有些可惜,我对于他的宇宙际Teichmuller理论还是有些不太理解。”

数论中的ABC猜想最先由乔瑟夫·奥斯达斯及大卫·马瑟提出,不少人想要攻克但都无解,最后望月新一提出了宇宙际Teichmuller理论,但因为太过晦涩难懂,不少数学家都持有质疑。

ABC猜想的重要性仅次于黎曼猜想,如果被解决了,那绝对是本世纪以来最为伟大的数学成就之一——因为它会彻底革新对整数方程的研究,同时通过延伸可以解决一百多个数论领域中最为重要的公开问题。

言旭读过望月新一的四篇预印文稿,也试图去理解他的逻辑,最后发现实在看不懂,所以就放弃去理解了。

言旭对ABC猜想兴致缺缺,但这阻挡不了沃尔茨对它的兴趣。

好在沃尔茨在跟言旭说了几句他关于ABC猜想的理解后,见他兴致缺缺,便很有眼色地换了个话题。

“交流会今天就结束了,我想你应该是晚上的飞机。”

言旭:“这么肯定?”

“当然,毕竟你没有在任何期刊上发表周氏猜测的证明,就直接在这儿公布了,我想你的导师应该在催你了吧。”沃尔茨只是珍惜朋友,可不代表他什么都不懂。

言旭看向他,笑道:“我的导师知道这事,不过原是准备发表在SCI的。”

不过只是因为希尔的挑衅,所以他提前公布了罢了。

沃尔茨抱歉地看着他,“对不起,我也不知道希尔为什么会成现在这样。”

人和人都是不一样的,沃尔茨又不是希尔,言旭对连坐没什么概念。

“所以你们,闹矛盾了?”言旭看了眼希尔的方向。

沃尔茨苦笑了下,“算是吧。”

没什么好说的,人家这就跟失恋一样,失去了一个朋友,都是情绪低落的时候,言旭也不是幸灾乐祸的人,最多只是在心里鼓掌罢了。

“没事,数学还在呢,真理会一直陪着你的。”

言旭冲他安慰一笑,本只是随口一说,没想到沃尔茨还很认同的点头。

“是的,我还有数学。”

得,不需要安慰了。

用餐结束后,言旭立刻回了酒店,因为确实如沃尔茨所言,他今晚就得回国。

毕竟证明已经公布了,还缺一个正式的期刊发表。毕竟这只是一个交流会,消息虽然已经散发出去了,但真正见识到的人还很少,期刊发表了才能让更多的人知道。