大国院士从学霸开始 - 第291章 证明黎曼猜想，全球论证【求订阅】

    第291章 证明黎曼猜想，全球论证【求订阅】
    事实证明徐源对数学的判断，并不会出错，按照新的思路和数学分支方法，后续对黎曼猜想的证明都推进的非常顺利。
    中途甚至连瓶颈都没有遇到。
    只能说选对了方向，就相当于走在了平坦大道上。
    直接前往终点就行。
    否则面对崎岖泥泞的道路，甚至还存在陷阱，哪怕费再长时间，最后也只会让自己遍体鳞伤。
    为此徐源特意把其他工作交接下去，专心扑在黎曼猜想的证明上。
    想要一鼓作气，尽快完成整个证明过程。
    就这样。
    转眼半年过去。
    当时间来到六月份，面板进度条也成功增长到百分之九十以上。
    其速度堪称惊人。
    而这其中也少不了田振等人的协助。
    否则全部过程都由他自己完成的话，就算结果不会发生改变，时间上肯定不会像现在这么提前，没用一年时间便即将完成证明。
    2020年6月15日。
    周二。
    高考刚结束一周的时间，对高三学生来说，眼下正是最舒服放松的阶段。
    连带高校也进入了毕业季。
    而就是在这种时候，数学与系统科学院，其中数学学报编委会所在的整个建筑，宣布正式戒严禁止任何人员的出入。
    丝毫不夸张的讲，哪怕是数学学报主编马智明，都主动遵守。
    在隔壁楼层内临时搭建了办公地点。
    至于为什么要突然搞出这么大动作，那自然是和黎曼猜想有关。
    经过这半年以来，研究小组们的潜心研究，目前徐源对整个黎曼猜想证明过程的推导，可以说已经没剩下多少步骤，就差最后关键的论证结论成立。
    于是经过商量决定，大家都同意直接进行攻坚战。
    整个研究小组聚集在房间内闭关研究，直到完成全部的证明过程。
    虽说完全投入其中后，两天不休息都正常，但和彻底证明黎曼猜想相比，显然是无比值得的。
    直接管控研究小组所在的整座楼，也是避免有人打扰思路。
    单凭证明黎曼猜想的意义，任何让步都是应该的。
    ——
    “战前动员的话我就不多说了，总之很快全世界都会为今天我们所做的事情欢呼。”
    “困扰了无数数学家一百多年的难题，将在今天，在我们手中成为定理。”
    “现在大家开始吧。”
    宽敞的会议室内，摆放着许多写字板，以及堆在桌面的手稿。
    徐源一身简单装扮，面向田振等研究小组成员，嘴角噙着笑容胸有成竹的说着，仿佛早已经预知到了他们所做事情的结果。
    若是视线继续远眺，则会发现墙角处，还堆放着水和泡面等食物。
    俨然这两天是不会离开了。
    与此同时。
    田振等另外四个人，脸上堆满着兴奋表情。
    就差直接提笔写上四个字。
    迫不及待。
    还记得徐源刚宣布，要研究黎曼猜想，并破天荒组建研究小组的时候，他们基本上是奔着，能和徐源共同研究数学课题才报的名参加。对能否证明黎曼猜想，心里面压根没考虑太多。
    毕竟黎曼猜想的名气实在太大。
    但万万没有想到，在徐源的带领下，他们竟真走到现在这步。
    最近半年多的时间里，他们都参与了关于黎曼猜想的证明研究。
    尽管主要是计算分解后的相关公式，却每次都对徐源提出的方法震惊不已。
    深刻认识到自己和徐源的差距。
    要知道以他们数学教授的身份，还能在熟悉的数学领域上发现新东西，这绝对是件难得的事情。若始终保持以前那种状态，只怕自身数学水平很难再提升。
    因此他们除了庆幸自己能成为小组成员，更相信徐源的方法肯定能证明黎曼猜想。
    “是徐院。”
    深吸一口气，大家异口同声喊了句，随即便立刻回到自己座位上开始计算。
    每个人要完成的工作，都已经分配妥当。
    简单来说。
    就是负责证明过程中的一些步骤计算，然后汇聚给徐源完成最终的结论论证，这样徐源便能把精力放在重要的节点上面。
    不用为这些计算另外费时间。
    当然这对田振他们五个人来说，所承受的压力要比徐源大的多。
    毕竟若有数值计算错误的话，可是会让结论出现偏差的情况。
    届时便需要全部排查。
    但压力何尝不是动力，能作为证明黎曼猜想的其中小组成员，这份荣誉可是每位数学家最想得到的。
    很快。
    宽敞的办公室内，徐源六个人都变得无比专注。
    以至于房间里面就只剩下，笔尖划过草稿纸的沙沙声响。
    伴随时间一分一秒流逝，对黎曼猜想的证明步骤越来越多，连带徐源的心情都彻底放松了下来，因为他赫然注意到，面板上的进度条正在上涨，眼看距离到达百分之百就差临门一脚。
    ……
    人在无比专注去做一件事情的时候，是察觉不到时间在飞速流逝的。
    他们心里唯一所想的，便是完成证明。
    不过相比沉浸在解答计算中的研究小组，外面马智明则反倒非常忐忑。
    尤其当二十多个小时过去，来到第二天的上午。
    看到依旧没有人从楼内走出来，要说丝毫不担心那绝对是假的。
    “怎么还没有人出来，这么长时间没休息的话，对身体可不好。”
    数学学报总部楼下面，马智明望着被拉上警戒线的大厅入口，整个人来回走动显得焦虑不安。
    整个人的心情根本没有办法平静下来。
    他当然知道要证明黎曼猜想的难度，甚至更相信徐源能够完成证明，但并不需要拼着不睡觉不休息，真要是因此让徐源的身体出现问题，那对国家来说才反倒是巨大的损失。
    证明黎曼猜想固然有助于数学发展，但重要性还和徐源没办法相比。
    “放心吧主编。”
    “徐院士做事有分寸，不会出什么问题。”
    “估计很快就该有人出来了。”
    “要不咱们进去看一眼，瞅瞅情况怎么样了？”
    “这绝对不行，要是打扰到小组成员的思路，那损失可就大了。”
    ……
    周围编委这时也都没有闲着，纷纷对马智明提出自己的意见。
    有的认为应该无条件相信徐源，只要人没有出来就耐心等待绝不打扰。
    还有人则担心徐源的身体状况，提议可以派人进楼里查看情况，不过这个建议才刚刚讲出来，便立刻被马智明摇着头拒绝。
    思路和灵感对数学研究非常重要，眼下小组成员都沉浸在难题解答中，如果这时候突然闹出动静，很有可能会把原本的思路打断。
    再想重拾起来就困难了。
    这就会导致，出现断联情况，无法和前面的步骤完美连接到一起。
    况且他们之所以选择封闭整个大楼，也正是为了给徐源他们创造良好的解答环境。
    若这时候派人进去查看情况，岂不是封锁大楼就成了多此一举。
    将周围大家的话悉数听进耳中，最终马智明只得决定再等上一段时间。
    “那就再等等看吧。”
    不过他说归这么说，目光却时不时朝大厅门口的方向望去。
    并且在心里默默打定了主意。
    如果下午徐源还不出来的话，那他就算会打断研究小组成员的思路，也要进去把人给喊出来。
    这也是先前开会他特意提出的要求。
    毕竟就算黎曼猜想晚证明一段时间，那也不会有多大的关系。
    徐源的身体健康才是最重要的。
    六月的天气已经比较热，但对于数学学报的所有编委来说，却没有一个人选择回临时办公室，依旧坐在楼下耐心等待。
    想要第一时间见证，世界数学难题之首被证明。
    到后面随着太阳逐渐升高，也只是让院里的人弄了几个简易遮阳棚。
    徐源并不知道马智明等人都在楼下等待，此刻他和田振等人都已经一整天没休息，但整个人的精神却依旧保持着亢奋。
    或许是在深度学习状态下，效率并没有下降。
    手中黑色笔在写字板上写着一个个数学符号，并且速度越来越快。
    最终在写完公式的最后一个符号后，他突然顿住笔停下了动作。
    同时嘴角微微上扬，浮现出笑容。
    “终于……完成了。”
    自顾自轻声低喃之下，目光也落在了眼前虚拟面板上的进度条。
    ——
    任务：黎曼猜想证明
    学科：数学
    进度：100%
    结果：已完成
    整个证明过程，他用到了多种数学分支方法，并将它们相结合得出全新的证明工具。
    甚至连带物理学科中的量子力学内容，都在其中包含涉及。
    眼下进度条成功来到百分之百，这说明他对黎曼猜想的证明成功了。
    写字板上刚刚书写的，便是黎曼猜想证明过程。
    并且不怕任何人的论证。
    就像以前证明哥德巴赫猜想和霍奇猜想，无论谁想推翻他的结论，最后结果都会发现这就是最正确的证明过程和结论。这时田振等研究小组成员，也都注意到了徐源停顿下来的动作。
    随即像是想到了什么，纷纷站起身朝徐源看去。
    强烈的情绪在心中不断涌现。
    似乎下一秒就会爆发。
    在紧张的咽了口唾沫后，还是田振率先按耐不住试探性询问。
    “徐院。”
    “我们……这是成功了吗？”
    徐源闻言转过身来，脸上堆满笑容，最终在几人的期盼下重重点了下头。
    “是的。”
    “我们完成了黎曼猜想的全部证明过程。”
    几乎是徐源话音落下的瞬间，田振等人顿时便都不再压抑自己的情绪，立刻发出激动的欢呼，互相拥抱击掌发出震耳欲聋的声音。
    “你们听到了吗，我们成功了。”
    “我们完成了黎曼猜想的全部证明过程！”
    “这段时间的辛苦没有白费。”
    徐源将眼前众人的表现悉数看在眼里，虽说自己不是头一次证明世界数学难题，心态上很难像他们那样产生很大的波动，但心里面还是激动的。毕竟这次所费的时间，相比较先前成功证明霍奇猜想，那可真是太少太少了。
    欢呼声持续了一分多钟，待田振等人情绪稍微平复些之后。
    徐源这才开口交代后面的事情。
    “大家这么长时间没有休息，应该都很疲惫了，先回去好好睡一觉补充精力。”
    “等明天再对证明过程进行反向推导论证。”
    因为面板进度条的存在，徐源才能一次性，得出最正确的证明过程。
    但在实际情况中，还需要对证明过程，进行大量的推导论证。
    确保里面不存在漏洞甚至错误。
    否则直接发布出去的话，一旦被其他人找到，那么整篇论文结论都会被推翻。
    导致先前所有心血付诸东流。
    再说因为这几次的事情，这篇证明世界数学难题黎曼猜想的论文，肯定会受到全世界的关注，届时不知道有多少数学家对其进行推导论证。
    所以必须要保证没有问题，才能正式全球发布。
    田振听完徐源的话，并没有立刻回答，反倒是嘴唇蠕动面露难色。
    略作迟疑后才开口道：
    “那个徐院，我们想先进行论证。”
    话音落下的同时，身旁另外四个人也都纷纷点头。
    听完这话，徐源也是不知道该说什么好，不过就以现在的激动情绪来看，哪怕回去还真不一定能顺利的进入梦乡。
    想到对黎曼猜想证明结论论证，可以借助计算机辅助验证。
    加上院里还能调用科学院的超级计算机，倒也不会费太长时间。
    除非多次重复验证。
    念头停留在这里，徐源便也不再迟疑，最终还是开口同意了下来。
    “那行吧。”
    “不过感到精神不佳，必须要立刻去休息。”
    “徐院你尽管放心，我们晓得。”田振听到徐源把这事答应了下来，立刻满脸笑容保证了一句。
    其他人虽没有接话，但如小鸡叨米似的点头，已然说明了问题。
    但值得一提的是，徐源同意他们验证归验证，自己可不会选择留下来。
    毕竟这么长时间没合眼，他确实也感到困了。
    再说他对自己的证明过程足够自信，根本不需要去等验证结果。
    在和田振等人交代完后，他便作势朝会议室门口走去准备离开，可刚推开会议室的房门，视野中却突然多了一大堆熟悉的身影。
    注意到人群前面熟悉的马智明后，徐源下意识开口喊了一句。
    “马院，你们这是？”
    “徐源刚才发生什么了，我们突然听到很大动静，就赶紧上来看看。”马智明有些不好意思说道：“是不是黎曼猜想的证明……”
    本来他们在楼下坐的好好的，虽然天气比较热，但也并非不能承受。
    结果正想着什么时候进去让徐源停下，就突然听到楼上传来很大的动静。
    这可把他们给吓了一跳，还以为是有了突发状况。
    于是也顾不上太多，当即便进楼，直奔研究小组所在的会议室。
    徐源听到马智明的话，又看了看大家的样子，基本上便猜出了前因后果。
    因此便也不再继续卖关子，当即点点头告知了众人这个好消息。
    “我们刚完成了黎曼猜想的全部证明过程。”
    尽管只是简短的一句话，甚至还用轻飘飘的语气给讲出来，但在马智明等编委心里面，却不亚于一颗重磅炸弹令人激动。
    在场大家都出身数学领域，对这个消息的含金量再清楚不过。
    心里面几乎瞬间便被喜悦和兴奋情绪占据。
    “太好了。”
    “这绝对是数学史上的最大奇迹。”
    “能这么快完成对黎曼猜想的证明，这简直是不可想象的事。”
    “那我们是不是应该，尽快向学界宣布这个消息。”
    “这场学术竞争，海外注定要输了。”
    激动之下互相交谈着，尽管不是自己证明的，却同样为之骄傲自豪。
    也就是马智明最先镇定下来，暂时压制住心里的兴奋和喜悦，再次看向徐源开口询问一件事。
    “关于向学界宣布的事，你是怎么想的？”
    “现在小田他们正进行验证，还是等验证结果出来后再说吧，到时候就以数学学报和数学理事会名义，召开关于黎曼猜想的新闻发布会。”
    徐源想了想回答道：“在发布会上，面向学界发表整个证明过程。”
    围绕着黎曼猜想发生了这么多事情，好不容易在这么短的时间内证明出来，那肯定不能就直接发表在数学学报上完事。
    到了这个时候还不高调，那什么时候高调。
    他就是要让所有人知道，悬而未决一百多年的世界数学难题之首，被他们给彻底证明解决了。
    同时他这也是在告诉所有数学家，他的证明过程根本不怕验证。
    就算接下来全球所有数学家，都去验证这篇证明黎曼猜想的论文，那也不可能找到逻辑漏洞证伪。
    马智自然不会质疑徐源的决定，听完后当即便给出了肯定的回答。
    “没问题。”
    “那就按照你说的办，接下来我们就开始准备。”
    说这话时丝毫没有掩饰脸上的笑容。
    从之前徐源证明霍奇猜想，成为世界数学大师，到今天国内数学界总算又有了大事件。
    让全世界都知道，国内数学界的巨大潜力。
    还有值得高兴的一件事，那便是此次参与证明黎曼猜想的田振等人。
    相信等证明论文正式公布之后，他们的名字也会很快在学界流传，让国内拥有更多的顶尖数学家。
    和马智明简单说完这些事情，徐源便也不再继续耽搁时间。
    当即和其他人告辞离开。
    连续长时间保持深度学习状态，虽然当时精力不会受到影响，但现在脱离深度学习状态后，那种疲惫感还是比较强烈的。
    他需要赶紧回去睡上一觉才行。
    马智明则是巴不得徐源赶紧去休息，后面甚至还不忘多催促了几句。
    很快当徐源的身影从视野中消失，大家这才迫不及待的走进会议室，欣赏徐源对黎曼猜想的证明过程。
    足足一百多年来，无数数学家做梦都想看到的，眼下就这样呈现在他们面前。
    这种感觉根本无法用言语来形容。
    只觉得呼吸急促，仿佛整个人的灵魂，都要沉浸到那些公式中去。
    ……
    接下来的几天。
    徐源在休息好状态补满后，依旧会每天按时来到数学与系统科学院。
    虽然已经不需要再研究黎曼猜想，但对于论文的验证毕竟还没有结束，他便抽时间和田振他们一起。
    毕竟早点完成验证，针对黎曼猜想的新闻发布会也能早点召开。
    而值得一提的是，如果只是一次验证的话，那根本不需要费多少时间。
    但为了保证整个证明过程没有错误漏洞，就只能使用各种验证方法不断论证，这样才能让其他数学家找不到质疑的地方。
    最终当时间进入到六月下旬。
    尽管外界还是一片平静，并没有什么大新闻，可国内数学界已经被巨大的喜悦环绕。
    “这是我们这段时间的验证结果，在超级计算机的辅助之下，经过海量验证都证明此黎曼猜想结论成立。”
    “我想我们现在可以公开宣布，黎曼猜想被正式彻底证明。”
    这天上午，数学与系统科学院会议上，田振作为发言代表，向在场的人汇报了，这段时间对黎曼猜想证明过程的验证结果。
    虽说大家都知道了这个消息，此时在这种场合听到依旧激动不已。
    顿时会议室内传来热烈掌声。
    待声音逐渐平息下去后，马智明示意田振坐下，然后转过脸对徐源说：
    “这几天学报和理事会都已经准备妥当，现在有了论文的验证结果，咱们是不是该召开新闻发布会了？”
    “你们安排就好马院。”徐源笑呵呵回应。
    “你可是这场新闻发布会的主角，既然没意见那就定在三天后吧。”
    马智明同样微笑着和徐源说完。然后确定了关于黎曼猜想新闻发布会的具体时间。
    并且在当天，数学学报和国内数学理事会，同时宣布了这件事情。
    此消息一出，无论国内还是海外，都纷纷炸开了锅讨论起来。
    猜测数学学报这时候突然召开发布会，给学界抛出这样一个重磅炸弹，究竟是为了什么样的原因。
    ……
    (本章完)