我在美利坚当学霸 第300节

  “是啊,只要李傲解决霍奇猜想,我们芝加哥大学数学系在国际上的地位,都会更上一个层次。”史蒂文森跟着感慨了一句。

  “虽然清楚Leo的数学天赋,但刚接到消息时,我还是没敢相信。”

  德高望重的巴拜教授接过史蒂文森的话笑着感叹道:“谁能想到他从现代分析走进代数几何,非但没受到影响,还这么快就在霍奇猜想上有了进展。”

  “这下连他担任编委的那份《伊利诺伊数学杂志》,影响因子怕是也要跟着涨一截。”

  几位教授互相交谈着,话里话外,皆是对李傲的欣赏。

  已然迫不及待,想看到霍奇猜想被彻底解决。

  至于现场几位刚留校任教的年轻教师,则硬是找不到插嘴的机会。

  只能安静地坐在那里耐心等待。

  其实这些天,大家经常会来到这里,关注霍奇猜想的进展。

  惠特克为保护李傲的思路不被打扰,更是把专项组工作室周围的一整片办公区临时划作专用区域,将原本在这里办公和开会的其他人员统一调整去了别处。

  足可见重视程度。

  与此同时。

  戈登中心的专项组工作室内,原本那张长方形会议桌已经被搬了出去。

  房间内摆放着许多块写字板。

  李傲捏着马克笔,正快速书写数学公式和推导步骤,宽敞的空间内只剩下笔尖摩擦写字板的声音。

  李氏全局比较定理建立后,他便正式进入最后阶段,向霍奇猜想发起总攻。

  为确保过程顺利,连Waymo那边的运营平台项目,都暂时交给劳伦负责。

  好在一晃两三个月过去。

  霍奇猜想的证明始终在稳步前进。

  并未遭遇瓶颈。

  这主要归功于李氏全局比较定理提供的强大比较工具。

  正所谓工欲善其事必先利其器,有这样一套完整强大的工具体系,就相当于已经把全部拼图拿到手。

  后面大家要做的,便只剩把霍奇猜想这张图拼出来。

  单纯耗费时间罢了。

  何况还有科尔、罗森和贝内特他们帮忙,效率自然很快。

  下一秒。

  李傲停下手上的动作。

  他很是满意地审视了一眼面前写字板上的公式,然后转过身冲科尔他们三人说道。

  “大家先吃饭吧。”

  自从他把李氏全局比较定理的进展告知约翰逊和惠特克,他们课题组便成了数学系乃至整个芝加哥大学的重点保护对象。

  除了得到这一整片办公区作为办公地点,连吃饭问题都安排专人解决。

  尽管李傲不觉得有必要,奈何实在架不住惠特克坚持。

  不过对于相邻讨论室里发生的事,他倒是不清楚,毕竟连惠特克都不主动进入工作区打扰他。

  似乎生怕会影响对霍奇猜想的研究。

  科尔、罗森和贝内特执行李傲交代的事,几乎已经成了本能反应。

  闻言没有任何迟疑,纷纷放下笔和草稿纸。

  “好的,李教授。”

  和那天在办公室门口追问情况时相比,几人的面色显得憔悴了许多。

  他们明明和李傲保持着同样的工作与休息节奏,状态却越来越疲惫。

  显然这样的睡眠时间对他们来说远远不够。

  反观李傲,依旧每天精神充沛。

  互相一通分析下来,他们认为这是李傲每天坚持锻炼的缘故。

  到后面,他们不得不跟着调整作息,每天也挤出一点时间去锻炼。

  可是越锻炼越疲惫,到最后只能放弃。

  但丝毫不夸张地讲,这是他们学习、研究数学的生涯中最开心、也最满足的两三个月。

  能每天亲眼见证霍奇猜想被逐渐证明,他们恨不得一天二十四小时全扑在上面。

  毕竟放眼整个国际数学界,也找不出几个人能有这样的机会,亲手参与解决千禧年大奖难题。

  关键是在李傲带领下,整个过程还轻松得不可思议。

  当然他们心里非常清楚,这全是因为李氏全局比较定理已经替他们搭好了完整的证明框架。

  不多时。

  待众人在饭桌旁坐下,科尔想到什么,看向面前的李傲主动搭话。

  “李教授,利用李氏全局比较定理,我们已经在共同h-超覆盖上,为有理(p,p)型霍奇类提取出一组全局循环实现障碍。

  “估计再有一个多月,就能彻底证明霍奇猜想。”

  讲出这几句时,他丝毫没有掩饰眼神中迸发出的炙热和精芒。

  话音落下,不等李傲开口,旁边的罗森和贝内特便提出了不同的意见。

  “我觉得用不到一个月。”

  “比较谱序列里的高阶障碍已经全部消去,距离解决霍奇猜想只差最后一个全局循环实现命题。”

  “以李教授的效率,估计最多半个月。”

  李傲将几人的话悉数听进耳中,仅沉声提醒一句,没有在这个话题上深究。

  “先吃饭吧。”

  至于究竟什么时候完成霍奇猜想的全部证明步骤,

  他可以说丝毫不担忧。

  反正从李氏全局比较定理完整建立的那一刻起,他便已经认定解决霍奇猜想是板上钉钉的事,迟早能给出完整严密的证明过程。

  没必要为了抢这一时半刻而留下任何细小疏漏。

  毕竟霍奇猜想是七道千禧年大奖难题之一,数学界对其证明过程的验证必然极为严格,往往会持续较长时间。

  ……

  11月6日,周三。

  下午。

  戈登综合科学中心,专项组工作室。

  李傲此刻完全沉浸在霍奇猜想的证明中,手上动作没有丝毫停歇,不断书写出一个又一个数学符号和公式。

  经过将近一个月的推进,眼下终于来到证明霍奇猜想的最后时刻。

  伴随时间一分一秒过去,眼前面板上不断浮现出智力和体力属性提升的提示信息。

  【高强度数学推导中……智力+0.1】

  【高强度科研中……体力+0.1】

  而科尔等人则尽皆站在原地,根本插不上手。

  他们用力控制着因太过激动而微微颤抖的身体,见证这一数学史上的伟大时刻。

  片刻。

  李傲亲手写出最终结论。

  “通过李氏全局比较定理与刚刚完成的全局循环实现命题……”

  “对任意光滑射影复代数簇X,每个有理(p,p)型霍奇类,都能表示为余维p代数循环类的有理线性组合。”

  “霍奇猜想成立。”

  ……

第426章 教授们慢一点,注意脚下(求订阅)

  李傲注视着写字板上自己的杰作,仿佛在欣赏一件艺术品。

  从上届国际数学家大会的一小时全体报告开始,他首次公开提出拓扑—解析比较框架,让无数数学家看到了证明霍奇猜想的全新方向。

  后来,在国际数学联盟的协调倡议和克雷数学研究所的推动下,全球又掀起了研究千禧年大奖难题的热潮。

  时隔三年多。

  当初的框架终于变成了李氏全局比较定理。

  七道千禧年大奖难题,也被再次解决了一道。

  此刻。

  他虽然驻足原地,看上去没有任何动作,心中却早已澎湃无比。

  一股强烈的满足感随之涌了上来。

  这些年付出的时间和心血,终于在今天变成了实实在在的成果。

  过了好一会儿,他才平复心神,嘴唇微动,自顾自低喃了一句。

  “终于完成证明了。”

  后面的科尔、罗森和贝内特,尽管这段时间不止一次幻想过成功证明霍奇猜想的画面,可眼下真正看到这一幕,依旧难以抑制情绪,双手兴奋地攥紧拳头,目光牢牢盯着写字板上的最后结论。

  三人脸上的表情,肉眼可见地振奋起来。

  “成了。”

  “霍奇猜想是成立的,李教授完成了最终证明。”

  “这是人类数学发展史上里程碑式的成就,简直太让人高兴了。”

  “你们谁去一趟,赶紧把消息告诉惠特克主任?”

  三人毫不掩饰脸上的激动,各自感叹一句,可等科尔提到通知问题,现场突兀地陷入了短暂沉默。

  他们互相对视了一眼,谁都没有要接话的意思。

  他们虽然参与了课题,帮助李傲完成了这份“拼图”,可一旦涉及李氏全局比较定理的核心部分,依旧有太多内容没能彻底理解,值得继续学习和深入研究。

  况且任何一位数学家面对千禧年大奖难题的完整证明过程,都很难抵挡住诱惑,根本移不开眼睛。

  简单来说,谁都不愿意在这个时候离开工作室,跑去把消息告诉相邻讨论室里的教授们。

  约摸僵持了数秒,科尔无奈地摇了摇头。

  随后主动开口询问。

首节 上一节 300/347下一节 尾节 目录