“是啊,只要李傲解决霍奇猜想,我们芝加哥大学数学系在国际上的地位,都会更上一个层次。”史蒂文森跟着感慨了一句。
“虽然清楚Leo的数学天赋,但刚接到消息时,我还是没敢相信。”
德高望重的巴拜教授接过史蒂文森的话笑着感叹道:“谁能想到他从现代分析走进代数几何,非但没受到影响,还这么快就在霍奇猜想上有了进展。”
“这下连他担任编委的那份《伊利诺伊数学杂志》,影响因子怕是也要跟着涨一截。”
几位教授互相交谈着,话里话外,皆是对李傲的欣赏。
已然迫不及待,想看到霍奇猜想被彻底解决。
至于现场几位刚留校任教的年轻教师,则硬是找不到插嘴的机会。
只能安静地坐在那里耐心等待。
其实这些天,大家经常会来到这里,关注霍奇猜想的进展。
惠特克为保护李傲的思路不被打扰,更是把专项组工作室周围的一整片办公区临时划作专用区域,将原本在这里办公和开会的其他人员统一调整去了别处。
足可见重视程度。
与此同时。
戈登中心的专项组工作室内,原本那张长方形会议桌已经被搬了出去。
房间内摆放着许多块写字板。
李傲捏着马克笔,正快速书写数学公式和推导步骤,宽敞的空间内只剩下笔尖摩擦写字板的声音。
李氏全局比较定理建立后,他便正式进入最后阶段,向霍奇猜想发起总攻。
为确保过程顺利,连Waymo那边的运营平台项目,都暂时交给劳伦负责。
好在一晃两三个月过去。
霍奇猜想的证明始终在稳步前进。
并未遭遇瓶颈。
这主要归功于李氏全局比较定理提供的强大比较工具。
正所谓工欲善其事必先利其器,有这样一套完整强大的工具体系,就相当于已经把全部拼图拿到手。
后面大家要做的,便只剩把霍奇猜想这张图拼出来。
单纯耗费时间罢了。
何况还有科尔、罗森和贝内特他们帮忙,效率自然很快。
下一秒。
李傲停下手上的动作。
他很是满意地审视了一眼面前写字板上的公式,然后转过身冲科尔他们三人说道。
“大家先吃饭吧。”
自从他把李氏全局比较定理的进展告知约翰逊和惠特克,他们课题组便成了数学系乃至整个芝加哥大学的重点保护对象。
除了得到这一整片办公区作为办公地点,连吃饭问题都安排专人解决。
尽管李傲不觉得有必要,奈何实在架不住惠特克坚持。
不过对于相邻讨论室里发生的事,他倒是不清楚,毕竟连惠特克都不主动进入工作区打扰他。
似乎生怕会影响对霍奇猜想的研究。
科尔、罗森和贝内特执行李傲交代的事,几乎已经成了本能反应。
闻言没有任何迟疑,纷纷放下笔和草稿纸。
“好的,李教授。”
和那天在办公室门口追问情况时相比,几人的面色显得憔悴了许多。
他们明明和李傲保持着同样的工作与休息节奏,状态却越来越疲惫。
显然这样的睡眠时间对他们来说远远不够。
反观李傲,依旧每天精神充沛。
互相一通分析下来,他们认为这是李傲每天坚持锻炼的缘故。
到后面,他们不得不跟着调整作息,每天也挤出一点时间去锻炼。
可是越锻炼越疲惫,到最后只能放弃。
但丝毫不夸张地讲,这是他们学习、研究数学的生涯中最开心、也最满足的两三个月。
能每天亲眼见证霍奇猜想被逐渐证明,他们恨不得一天二十四小时全扑在上面。
毕竟放眼整个国际数学界,也找不出几个人能有这样的机会,亲手参与解决千禧年大奖难题。
关键是在李傲带领下,整个过程还轻松得不可思议。
当然他们心里非常清楚,这全是因为李氏全局比较定理已经替他们搭好了完整的证明框架。
不多时。
待众人在饭桌旁坐下,科尔想到什么,看向面前的李傲主动搭话。
“李教授,利用李氏全局比较定理,我们已经在共同h-超覆盖上,为有理(p,p)型霍奇类提取出一组全局循环实现障碍。
“估计再有一个多月,就能彻底证明霍奇猜想。”
讲出这几句时,他丝毫没有掩饰眼神中迸发出的炙热和精芒。
话音落下,不等李傲开口,旁边的罗森和贝内特便提出了不同的意见。
“我觉得用不到一个月。”
“比较谱序列里的高阶障碍已经全部消去,距离解决霍奇猜想只差最后一个全局循环实现命题。”
“以李教授的效率,估计最多半个月。”
李傲将几人的话悉数听进耳中,仅沉声提醒一句,没有在这个话题上深究。
“先吃饭吧。”
至于究竟什么时候完成霍奇猜想的全部证明步骤,
他可以说丝毫不担忧。
反正从李氏全局比较定理完整建立的那一刻起,他便已经认定解决霍奇猜想是板上钉钉的事,迟早能给出完整严密的证明过程。
没必要为了抢这一时半刻而留下任何细小疏漏。
毕竟霍奇猜想是七道千禧年大奖难题之一,数学界对其证明过程的验证必然极为严格,往往会持续较长时间。
……
11月6日,周三。
下午。
戈登综合科学中心,专项组工作室。
李傲此刻完全沉浸在霍奇猜想的证明中,手上动作没有丝毫停歇,不断书写出一个又一个数学符号和公式。
经过将近一个月的推进,眼下终于来到证明霍奇猜想的最后时刻。
伴随时间一分一秒过去,眼前面板上不断浮现出智力和体力属性提升的提示信息。
【高强度数学推导中……智力+0.1】
【高强度科研中……体力+0.1】
而科尔等人则尽皆站在原地,根本插不上手。
他们用力控制着因太过激动而微微颤抖的身体,见证这一数学史上的伟大时刻。
片刻。
李傲亲手写出最终结论。
“通过李氏全局比较定理与刚刚完成的全局循环实现命题……”
“对任意光滑射影复代数簇X,每个有理(p,p)型霍奇类,都能表示为余维p代数循环类的有理线性组合。”
“霍奇猜想成立。”
……
第426章 教授们慢一点,注意脚下(求订阅)
李傲注视着写字板上自己的杰作,仿佛在欣赏一件艺术品。
从上届国际数学家大会的一小时全体报告开始,他首次公开提出拓扑—解析比较框架,让无数数学家看到了证明霍奇猜想的全新方向。
后来,在国际数学联盟的协调倡议和克雷数学研究所的推动下,全球又掀起了研究千禧年大奖难题的热潮。
时隔三年多。
当初的框架终于变成了李氏全局比较定理。
七道千禧年大奖难题,也被再次解决了一道。
此刻。
他虽然驻足原地,看上去没有任何动作,心中却早已澎湃无比。
一股强烈的满足感随之涌了上来。
这些年付出的时间和心血,终于在今天变成了实实在在的成果。
过了好一会儿,他才平复心神,嘴唇微动,自顾自低喃了一句。
“终于完成证明了。”
后面的科尔、罗森和贝内特,尽管这段时间不止一次幻想过成功证明霍奇猜想的画面,可眼下真正看到这一幕,依旧难以抑制情绪,双手兴奋地攥紧拳头,目光牢牢盯着写字板上的最后结论。
三人脸上的表情,肉眼可见地振奋起来。
“成了。”
“霍奇猜想是成立的,李教授完成了最终证明。”
“这是人类数学发展史上里程碑式的成就,简直太让人高兴了。”
“你们谁去一趟,赶紧把消息告诉惠特克主任?”
三人毫不掩饰脸上的激动,各自感叹一句,可等科尔提到通知问题,现场突兀地陷入了短暂沉默。
他们互相对视了一眼,谁都没有要接话的意思。
他们虽然参与了课题,帮助李傲完成了这份“拼图”,可一旦涉及李氏全局比较定理的核心部分,依旧有太多内容没能彻底理解,值得继续学习和深入研究。
况且任何一位数学家面对千禧年大奖难题的完整证明过程,都很难抵挡住诱惑,根本移不开眼睛。
简单来说,谁都不愿意在这个时候离开工作室,跑去把消息告诉相邻讨论室里的教授们。
约摸僵持了数秒,科尔无奈地摇了摇头。
随后主动开口询问。