洛瓦茨把众人的话悉数听进耳中,眉头紧锁着陷入深思。
似乎正在作出某个重要决定。
差不多又过去几十秒,他突然抬起视线,用低沉有力的声音压下了其他人的争论。
“行了,我提议以国际数学联盟的名义,组建一支独立验证组,前往芝加哥参加专属研讨会,全面核验霍奇猜想的完整证明。
“如果李氏全局比较定理的逻辑与可行性得到确认,我们便调整本届最终获奖名单,正式向李傲颁发菲尔兹奖章。
“至于首尔国际数学家大会空出来的报告席位,就多给数学界的新人一些机会吧。”
洛瓦茨能够被推选为国际数学联盟主席,本身便为数学研究与发展作出过重要贡献。
单纯站在数学的角度,他对李傲这样的天才一直十分欣赏,因此综合各方意见后,认为这已经是联盟眼下最合理的回应。
伴随他的话音落下,会议室内顿时再次安静下来。
谁都没有立刻开口。
尽管惠特摩尔等人心里依旧不满,嘴唇动了几下,最终还是把反对的话咽了回去。
洛瓦茨环视一圈,见没人继续提出异议,这才满意地点点头,直接宣布散会。
“既然大家都没有意见,那就这样办吧。”
说完,他立刻离开椅子,起身朝会议室门外走去,丝毫没有继续逗留的意思。
其他人在短暂怔神后,也陆续起身离开。
这场会议进行的时间虽然不长,几件最重要的事情却安排得相当高效。
只能说局面发展到今天,留给国际数学联盟的选择已经所剩无几。
想尽可能挽回先前丢失的权威和信任,就必须主动参与李傲这项成果的公开验证。
没办法。
谁让李傲才是当今数学界最受瞩目的那个人。
另外值得一提的是,面对洛瓦茨的决定,现场没有哪位执委再主动替惠特摩尔先前的主张说话。
显然大家都很清楚,当李傲拿出七道千禧年大奖难题之一的霍奇猜想证明后,再想依靠派系和奖项在数学界压制他,已经是不可能的事情。
不过在接下来的验证组人选上,负责此事的执委依旧表现得异常严谨。
最终挑选出来的,全是擅长代数几何、拓扑学、复几何与范畴论的顶尖专家。
那种架势,仿佛恨不得真从李傲的论文里找出一处错误。
……
第436章 不声不响弄了个大新闻(求订阅)
李傲写完霍奇猜想的完整证明论文后,每天一下子空出了不少时间。
享受完解决霍奇猜想带来的满足感,他也没忘记多陪陪奶奶刘桂芳。
今年春节,他特意给自己放了半个月假,安安稳稳待在海德公园的家里。
这样做也是想暂时躲个清净,让围绕霍奇猜想的热度稍微降一降。
作为全世界首位依靠全新理论框架解决霍奇猜想的青年数学家,特别是年龄才二十多岁,无论哪个标签单独拿出来都是重磅新闻。
单是相关话题连续几天占据Twitter趋势榜前列,便足以证明这项成果的分量。
在这种全球性热度下,哪怕数学界还没有完成公开验证,想采访他的媒体记者都快从海德公园排到芝加哥市中心。
其中更不乏来自欧洲和亚洲的主流媒体。
为了避免陷入没完没了的采访循环,李傲早就和芝加哥大学校方沟通过。
等到七月底霍奇猜想专属研讨会召开时,再集中接受媒体采访。
至于那些实在按捺不住的数学家,则纷纷通过邮件询问李氏全局比较定理。
希望能提前看到更多完整体系中的内容。
李傲虽然挑选部分问题作了回复,却不但没能替对方解渴,反而更加坚定了他们前往芝加哥参加研讨会的决心。
另外还有谷歌和Waymo那边。
李傲同样没有忘记,自己还负责着城市开放道路全无人驾驶运营平台的核心算法架构。
他很清楚,这个重点项目关系到无人驾驶汽车能否真正进入城市生活,甚至可能重塑全球城市出行方式,因此研究相关算法时丝毫不敢敷衍。
先前定下整体架构后,恰逢霍奇猜想进入最后攻坚阶段,他便让劳伦暂时负责日常开发,确保平台进度不受影响。
如今完整证明和公开安排都已落定,总算能重新把主要精力放回算法平台。
2014年的元宵节过后,李傲第一时间飞往山景城,查看项目的最新进展。
……
“李教授,这是我们大家特意为您准备的一点惊喜。”
2月18日,周二,Waymo山景城研发中心。
刚走进运营平台项目组的办公区域,李傲便看到劳伦领着大家围了过来,一边把鲜花送到他手中,一边鼓掌祝贺。
还有人举着一块特意手工装饰过的彩色纸板,上面的内容正和霍奇猜想有关。
“热烈祝贺李教授证明霍奇猜想。”
项目组成员这些天虽然始终忙着开发运营平台,却不等于与外界隔绝。
像李傲解决霍奇猜想,并让芝加哥大学成为世界数学焦点这种国际新闻,他们当然都在第一时间得知。
劳伦刚看到新闻时足足愣了半天,完全没想到李傲远程主导着如此复杂的无人驾驶车队运营平台,竟还能抽空解决一道千禧年大奖难题。
她一时间甚至不知道,该怎么形容自己那种震撼又复杂的心情。
总之心里对李傲越发崇拜。
所以得知李傲要来山景城后,她便和大家商量,提前准备了这个小惊喜。
庆祝他取得这项足以载入数学史的世界级成就。
李傲笑着接过鲜花,面对大家的祝贺,礼貌地表示感谢。
“谢谢大家。”
等气氛彻底活跃起来,其他组员也纷纷开口。
“李教授,您这次可是不声不响地弄了个大新闻呀!”
“解决七道千禧年大奖难题之一,还建立了一套全新理论,这份成就应该已经超过佩雷尔曼了吧。”
“早知道我当初就留在数学系,说不定还能跟着李教授一起研究霍奇猜想。”
“你现在不也在跟着李教授做研究嘛。”
现场有几名工程师,读研究生时正是从数学专业转入了计算机和人工智能方向。
他们对数学本就有着不同的感情,如今看到自己项目的负责人站到了世界数学的中心,自然发自内心地感到骄傲。
劳伦脸上的笑容始终没有消失,这时想到什么,连忙补充了一句。
“李教授,尤斯塔斯先生还说等会儿要亲自过来,当面向您表示祝贺。”
李傲闻言点点头,接着便把注意力放回项目,让劳伦先汇报目前的进度。
“咱们还是先开个简单的讨论会吧,劳伦,你讲一下运营平台现在的开发情况。”
“好的,李教授。”劳伦立刻作出回应。
看得出来,她对这个项目极为上心,各方面情况都掌握得十分细致,几乎没有停顿便介绍起算法的开发进度。
“目前平台的订单匹配与充电调度算法,相关程序已经基本开发完成。
“多车路权协同算法正在继续优化。
“遮挡环境下对道路使用者的持续追踪与意图预测,暂时还存在一些问题。
“另外,把各项算法同G-01车端系统整合进统一平台,可能还需要由您亲自主导。”
把劳伦的话悉数听进耳中,李傲对此颇为满意。
在自己只负责远程指导的情况下,项目组仍能维持这样的效率,确实很不错。
说明他之前没有看错,劳伦在算法工程和团队管理方面很有天赋。
至于遮挡环境下的持续追踪与意图预测,因为涉及复杂的机器学习模型,进度稍慢一些很正常。
包括各类算法的完整整合,同样如此。
毕竟运营平台相当于整支无人驾驶车队的大脑,基本决定了车队进入真实城市后的安全与效率上限。
为了让Waymo的无人驾驶出行真正具备正面对抗Uber的能力,李傲安排了多种核心算法,尽可能发挥G-01和整支车队的性能。
几种复杂算法在统一平台上对接,还要实时互相配合,稍不注意便可能产生逻辑冲突。
哪怕只是一处很小的优先级错误,都有可能在城市开放道路上引发交通事故。
面对如此重要的工作,劳伦他们确实不敢贸然完成最终融合,只能等李傲亲自回来主导。
李傲沉声应下:“这些都不是问题。”
说话时,他丝毫没有掩饰自己的自信,显然早已成竹在胸。
眼下他最充裕的就是时间,亲自负责追踪预测模型与平台融合后,开发效率肯定会显著提升,说不定能在霍奇猜想专属研讨会召开前完成全部核心算法的整合。
特别是他还听说,G-01量产上路方面的其他准备同样推进得很顺利。
尤其在场景图决策和动力电池控制系统稳定通过多轮测试后,工程团队省下了大量反复调试的时间,整车验证和生产准备速度明显加快。
这也为运营平台后续接入真正的无人驾驶车队,提前创造了条件。
按照Waymo已经定下的内部时间表,G-01计划在今年下半年启动量产。
所以如果后续进展顺利,年底前便有望看到首批量产车组成测试车队,接入这套开放道路运营平台。
每次想到这一幕,李傲心里都不免有些兴奋。
他对无人驾驶车队真正跑起来的期待,甚至比当初G-01进行全球公开演示时还要强烈。
主要是单辆原型车的性能再优秀,也只能证明Waymo拥有全球领先的无人驾驶技术。
却无法把这种技术改变世界的潜力全部展现出来。
这也是G-01公开演示后,许多人依旧觉得真正的无人驾驶生活距离自己很遥远的原因。
而开放道路运营平台面向的正是整支无人出租车队,将来不但能和Uber正面竞争,更能在真实城市里全面检验各项算法的能力。
就这样。
接下来的时间,李傲没有过多耽搁,很快便沉浸到自己同样熟悉的算法开发工作中。
连带劳伦等项目组成员,也比平时表现得更有冲劲。
随着日子一天天过去,运营平台的核心算法逐步得到整合与优化,李傲的智力和体力属性也稳定上涨。
继续朝下一次阶段突破稳步积累。
【推导新算法方案……智力+0.1】