迈克联想到先前那些异常,自然怀疑这次动静与霍奇猜想有关。
他心里当然巴不得情况正如自己猜测的那样。
奈何考虑到千禧年大奖难题的恐怖难度,多少还是有些忐忑,不敢确认。
“确实有这个可能。”
布莱恩闻言暂时停下手上的动作,抛出这句话后,又突然想到什么,继续往下补充。
“真想知道的话就直接去问李教授,或者找你的荣誉论文导师打听一下。”
“那还是算了吧,为这件事打扰李教授太不好意思了,至于导师那边我现在更不敢去,谁让我的荣誉论文改了两遍都没能让他满意。”
迈克听到让自己去找老师,顿时连忙摆手表示拒绝。
显然因为论文的事情,他最近没少被导师批评。
稍微怔了下神后,他叹了口气,决定先不再纠结。反正如果真是霍奇猜想得到解决,芝加哥大学必然会正式发布公告,无非就是早一天知道和晚一天知道的区别罢了。
……
丘成桐是哈佛大学数学系教授,主要研究微分几何与偏微分方程,在复几何领域同样造诣极深,在国际数学界拥有极高声望。
他早在三十多岁时就拿到了菲尔兹奖,还是华人数学家中的第一位。
他和其他同行从商务大巴上下来后,被芝大工作人员领着前往戈登综合科学中心。
不过此时包括他在内的几十位数学专家根本没有心情欣赏芝大校园,路上依旧在低声交流。
毕竟他们在极短时间内接受邀请赶来芝加哥,直到现在却还不知道具体要做什么,心里难免涌现出各种猜测。
同网络上的人一样充满好奇。
“这次究竟是什么事,竟然要芝加哥大学和克雷数学研究所联合发出紧急邀请,难道真是霍奇猜想专项组取得了决定性突破?”
“我以前也从未见过国际数学界摆出这种阵仗。”
“大家先稍安勿躁吧,等会儿就知道了。”
丘成桐对大部分人并不陌生,此刻听到耳旁传来的交流声,略作迟疑,还是没忍住接过话茬说了一句。
“今天或许有一个巨大的惊喜在等着我们,恐怕芝加哥那位年轻的数学天才真的已经解决霍奇猜想了。”
他在车上便专门分析过,发现受邀专家大多来自代数几何、拓扑学、复几何和范畴论等领域,而这些领域明显全部与霍奇猜想有关。
加上此前李傲的比较框架曾在全球范围内掀起研究霍奇猜想的新热潮。
并不难得出这个结论。
只是这个结论实在太过惊人。
果然。
现场其他专家听到这句话后,脸上大多带着怀疑,在没有亲眼看到证明前,他们实在很难相信这个结果。
就这样。
差不多二十分钟后。
众人来到戈登中心整理好的公共研讨区,除了看到德利涅和菲弗曼两大宗师外,旁边还有数学系主任惠特克。
以及看上去依旧像学生一样年轻的李傲。
在数学界,终究还是要靠学术成果说话。
尽管李傲只有二十多岁,现场众人却不敢有任何轻视,纷纷主动上前同他握手打招呼。
等这一环节结束后,德利涅也不再卖关子,当即如实告知了此次的任务。
“大家一路辛苦了。
“这次我们邀请诸位过来,主要是组建评审团,对霍奇猜想的证明过程和结论展开全面验证。”
当真是石破天惊。
几乎就在德利涅话音落下的瞬间,在场所有专家脸上的表情都凝固了。
经过两秒钟的短暂沉默后,现场猛地爆发开来。
“德利涅教授,您说的是真的,霍奇猜想已经被证明了?”
“是李教授完成的证明吗?”
“原来是要验证霍奇猜想的证明,这绝对是我今年听到最令人振奋的消息。”
“竟然真让丘教授猜对了。”
德利涅对研讨区里的喧闹丝毫不意外,足足等了几分钟,待众人的情绪逐渐平静下来后,才接过刚才的话茬继续往下说。
“准确来说,是李傲教授建立了核心理论,并完成了霍奇猜想的最终证明。
“接下来这段时间,他也会配合评审团解答问题,确保我们尽快完成全部验证。
“拜托诸位了。”
李傲看着面前这些来自各所顶尖高校和研究机构的数学前辈,并没有因为自己解决霍奇猜想而生出傲慢。
顺着德利涅的话,他同样谦逊而不失自信地表态了一番:
“感谢各位教授前来,很荣幸能和前辈们一起合作。”
对此,包括丘成桐在内的所有数学专家,注视李傲的目光都变得愈发柔和而欣赏。
为世界数学界出现这样一位年轻天才,感到由衷欣慰和振奋。
随着各方人员全部到位,众人早已迫不及待,立刻完成分工,专注地投入到验证工作中。
……
第430章 他们打错算盘了(求订阅)
随着由三十多位全美顶尖数学家组成的评审团全部就位,戈登综合科学中心内,正式开启了一场学术盛宴。
李傲对霍奇猜想的整个证明过程,被拆分成了数十个相互衔接的小节。
众人将会逐行逐公式地核对每一步的证明。
德利涅和菲弗曼两人,作为评审团主导者,开始结合每位专家擅长的领域安排任务。
“丘教授,你来负责验证李氏全局比较定理在解析一侧的估计与收敛条件是否严密。”
“卡尔森教授,导出全局比较复形的下降性,由你负责复核。”
……
“剩下的人集中核验函子性、复形与拓扑—解析比较映射的相容性,以及定理同全局循环实现命题的衔接。”
“谁有问题,现在就可以直接提出来。”
包括丘成桐在内的数学家们,此刻早已沉浸在霍奇猜想即将被证明的喜悦中。
面对完整的证明步骤,就好比看到什么稀世珍宝,恨不得立刻上手研究。
这时候又怎么会有人提出异议。
几乎就在德利涅话音落下的瞬间,公共研讨区里便响起了一声回应:
“赶紧开始吧,德利涅教授,我们都已经等不及了!”
话音落下。
现场顿时响起了大家的笑声。
显然这句话说到了所有人的心坎里。
当初佩雷尔曼证明庞加莱猜想时,国际数学界的顶尖专家也曾纷纷放下手头工作,加入对证明的验证。
可那终究是在见证别人写下的历史。
如今众人却能在成果正式公布前,聚集在证明人身边,与他共同探讨,亲手完成霍奇猜想的首轮核验。
这份近距离见证历史的兴奋感,自然更加强烈。
眼下大家的想法只有一个。
尽快完成首轮验证,再成竹在胸地面向整个数学界宣布这项伟大成果。
德利涅感受到大家的热情,满意之余自然不会耽搁时间,他郑重站起身,果断宣布验证工作开始。
“那好。”
“验证工作从现在正式启动。”
……
接下来的时间,戈登中心始终被一股严肃的氛围笼罩,俨然成了代数几何领域的最高殿堂。
李傲作为霍奇猜想的证明人,同样没有闲着。
除了同步撰写完整论文,便是站在写字板前解答评审专家提出的问题。
主要是李氏全局比较定理横跨代数几何、拓扑与现代分析,许多定义和引理又由李傲首次建立,为尽快完成全部验证,只能由他亲自详细讲解。
再说外界方面。
网络上以及各大高校,对这场闭门会议的分析和猜测始终没有停止。
并且随着时间一天天过去,讨论变得愈发热闹。
相关话题频繁登上Twitter趋势榜。
毕竟放眼全世界,也很少有一场闭门数学会议持续这么长时间。
只能说,大家心里都压着同一个猜测。
既希望李傲主持的霍奇猜想课题真有了决定性突破,又害怕所有线索只是自己的一厢情愿。
转眼两个月过去。
就在圣诞和元旦假期结束后的第一个星期,戈登中心终于传出了好消息。
“李氏全局比较定理是成立的,它把格罗滕迪克标准猜想中的霍奇型部分直接简化掉了。”
上午。
丘成桐激动地拿起桌面上的几张草稿纸,一边喊,一边快步朝菲弗曼走去。
在验证核心证明的同时,李氏全局比较定理本身的自洽性同样至关重要。
毕竟霍奇猜想的最终证明完全建立在这套全新理论之上。
最直接的方法。
便是尝试用这套新理论,去解决数学界其他已知的难点问题。
如果新的理论工具能够漂亮地解决一些数学领域内长期存在的难点,那么它的威力与正确性便会得到极大佐证,这也是数学界检验一套新工具时最常用的做法。
按部就班完成分配的任务后,丘成桐便尝试用李氏全局比较定理,去处理自己先前遇到的一个老问题。
格罗滕迪克标准猜想中的霍奇型部分。
推导过程中,他明显发现,以往需要分别处理的几处比较障碍全部消失不见。
就好比面对一条河流,以前苦于没有合适的过河工具,只能自己游过去。