第202章 面向世界正式宣布【二合一】
伴随着,由约三十位国内顶尖数学家,组成的评审团就位,在镜春园内,正式上演一场验证地狱。
整个证明过程,被分割成数十个内容。
逐行逐公式地过步骤。
田纲和邱诚桐两人,作为评审团主导者,结合每位专家擅长的领域,安排任务。
「郭教授,你来负责验证,∞—范畴的平展局部化」是否严谨。」
「老唐。」
「Motivic过滤与霍奇过滤的比较定理由你覆核。」
「剩下的死磕从特征p到特征0的提升过程」,谁有问题的话,现在就可以直接提出来?」
包括唐志伟在内的专家,此刻早沉浸在,霍奇猜想被证明的喜悦中。面对完整的证明步骤,就好比看到什幺稀世珍宝,恨不得立刻上手把玩。
这时又怎幺会有异议。
在讨论会议上,几乎当田纲话音落下瞬间,当即便听见有人回应。
「赶紧开始吧田院长,我这手痒得很啊!」
说完。
会议室顿时传来大家的欢笑声。
显然是说到了心坎里。
记得当初,佩雷尔曼团队证明庞加莱猜想,在国际数学界引起轰动。世界上最顶尖的专家,自发放下手头上工作,加入对证明论文的验证,然这份热闹,却似乎和国内数学界无关。
如今霍奇猜想被国人解决,这种骄傲和自豪之情,是无法言说的。
眼下大家想法只有一个。
尽快验证结论,成竹在胸的面向学界,宣布这项数学盛世。
田纲感受到大家的热情,觉得满意之下,自然不会耽搁时间,他郑重站起身,果断宣布验证工作开始。
「那好。」
「今天就正式启动。」
接下来的时间,镜春园被一股严肃的氛围笼罩,研讨代数几何领域的最高殿堂。
徐铭作为证明人,也没有闲着。
除同步撰写学术论文,便是站在黑板前,解答其他专家的提问。
主要相比世界顶尖数学家,仅由国内专家组成的评审团,整体水平难免会差些,为早点完成全部验证,只能让徐铭详细讲解。
再说外界方面。
网上以及各大高校,针对此事的分析并未停止。
并且因一天天过去,愈发热闹。
话题频繁登上微博热搜。
毕竟放眼全世界,也不曾有过,持续时间这幺长的学术会议。
只能说,大家心里都在压抑着。
既希望真的是,霍奇猜想课题的研究,有了突破性进展:却又害怕只是自己的一厢情愿。
转眼两个月过去。
就在元旦结束的第一个周,镜春园终于有好消息传出。
「导出平展Motivic上同调复形理论是成立的,它成功简化了代数几何领域,标准猜想的某一部分。」
上午。
唐志伟激动拿起,桌面上的几张草稿纸,边喊边向田纲走去。
在验证核心证明的同时,新理论体系本身的自洽性,同样至关重要,毕竟霍奇猜想的证明,完全是依赖于这项全新的理论体系。
最直接的方法。
便是尝试用这项新理论,去解决其他已知的问题。
如果新的理论工具,能够漂亮地,解决一些数学领域内存在的难点,那幺它的威力和正确性,就会得到极大的佐证,这也被称为社会性验证,是数学界常用的验证方法。
按部就班完成分配的任务后,唐志伟便尝试,用导出平展Motivic上同调复形,去处理先前在代数几何中,遇到的一个问题。
推导过程中,他明显发现,熟悉的瓶颈消失不见。
就好比,面对一条河流,之前苦于没有过河工具,只能选择游泳。
但现在却是直接多了艘船。
前后差距之大,可想而知。
这也更加证明了,导出平展Motivic上同调复形理论,是多幺完善强大。
所以一得到最终结果,便立刻向田纲,以及邱诚桐汇报。
不用专门喊人。
当唐志伟过去的时候,周围已然围上不少专家。
田纲从唐志伟手中,接过草稿纸研究,不多时眼前一亮,丝毫不掩饰脸上涌现出的喜色。
「太好了。」