第202章 面向世界正式宣布(1/2)
伴隨著,由約三十位國內頂尖數學家,組成的評審團就位,在鏡春園內,正式上演一場驗證地獄。
整個證明過程,被分割成數十個內容。
逐行逐公式地過步驟。
田綱和邱誠桐兩人,作為評審團主導者,結合每位專家擅長的領域,安排任務。
「郭教授,你來負責驗證,∞—範疇的平展局部化」是否嚴謹。」
「老唐。」
「Motivic過濾與霍奇過濾的比較定理由你覆核。」
「剩下的死磕從特徵p到特徵0的提升過程」,誰有問題的話,現在就可以直接提出來?」
包括唐志偉在內的專家,此刻早沉浸在,霍奇猜想被證明的喜悅中。面對完整的證明步驟,就好比看到什麼稀世珍寶,恨不得立刻上手把玩。
這時又怎麼會有異議。
在討論會議上,幾乎當田綱話音落下瞬間,當即便聽見有人回應。
「趕緊開始吧田院長,我這手癢得很啊!」
說完。
會議室頓時傳來大家的歡笑聲。
顯然是說到了心坎里。
記得當初,佩雷爾曼團隊證明龐加萊猜想,在國際數學界引起轟動。世界上最頂尖的專家,自發放下手頭上工作,加入對證明論文的驗證,然這份熱鬧,卻似乎和國內數學界無關。
如今霍奇猜想被國人解決,這種驕傲和自豪之情,是無法言說的。
眼下大家想法只有一個。
儘快驗證結論,成竹在胸的面向學界,宣布這項數學盛世。
田綱感受到大家的熱情,覺得滿意之下,自然不會耽擱時間,他鄭重站起身,果斷宣布驗證工作開始。
「那好。」
「今天就正式啟動。」
接下來的時間,鏡春園被一股嚴肅的氛圍籠罩,研討代數幾何領域的最高殿堂。
徐銘作為證明人,也沒有閒著。
除同步撰寫學術論文,便是站在黑板前,解答其他專家的提問。
主要相比世界頂尖數學家,僅由國內專家組成的評審團,整體水平難免會差些,為早點完成全部驗證,只能讓徐銘詳細講解。
再說外界方面。
網上以及各大高校,針對此事的分析並未停止。
並且因一天天過去,愈發熱鬧。
話題頻繁登上微博熱搜。
畢竟放眼全世界,也不曾有過,持續時間這麼長的學術會議。
只能說,大家心裡都在壓抑著。
既希望真的是,霍奇猜想課題的研究,有了突破性進展:卻又害怕只是自己的一廂情願。
轉眼兩個月過去。
就在元旦結束的第一個周,鏡春園終於有好消息傳出。
「導出平展Motivic上同調復形理論是成立的,它成功簡化了代數幾何領域,標準猜想的某一部分。」
上午。
唐志偉激動拿起,桌面上的幾張草稿紙,邊喊邊向田綱走去。
在驗證核心證明的同時,新理論體系本身的自洽性,同樣至關重要,畢竟霍奇猜想的證明,完全是依賴於這項全新的理論體系。
最直接的方法。
便是嘗試用這項新理論,去解決其他已知的問題。
如果新的理論工具,能夠漂亮地,解決一些數學領域內存在的難點,那麼它的威力和正確性,就會得到極大的佐證,這也被稱為社會性驗證,是數學界常用的驗證方法。
按部就班完成分配的任務後,唐志偉便嘗試,用導出平展Motivic上同調復形,去處理先前在代數幾何中,遇到的一個問題。
推導過程中,他明顯發現,熟悉的瓶頸消失不見。
就好比,面對一條河流,之前苦於沒有過河工具,只能選擇游泳。
但現在卻是直接多了艘船。
前後差距之大,可想而知。
這也更加證明了,導出平展Motivic上同調復形理論,是多麼完善強大。
所以一得到最終結果,便立刻向田綱,以及邱誠桐匯報。
不用專門喊人。
當唐志偉過去的時候,周圍已然圍上不少專家。
田綱從唐志偉手中,接過草稿紙研究,不多時眼前一亮,絲毫不掩飾臉上湧現出的喜色。
「太好了。」
「通過這段時間緊鑼密鼓的驗證,再加上這篇佐證,我想可以確認,霍奇猜想已被證明。」講出這番結論的同時,不忘把手中的草稿紙遞給邱誠桐:「邱主任,你也快看看上面的簡化過程。」
針對霍奇猜想,證明過程的驗證工作,進行了這麼長時間後,大家心裡也都有了一個底。
特別是再向徐銘提問時,聽完講解無不折服。
不得不承認,他們這些人的數學水平,根本夠不到徐銘的層次。
這讓他們更加堅信,數學界懸而未決多年的,千禧年大獎難題霍奇猜想,在國內天才數學家徐銘手中解決。
「我認為我們可以向世界宣布這個消息了。」
邱誠桐仔細看完,雖僅有這樣一句簡單的話,卻讓現場所有人歡呼。
「同意。」
「這遲早是要交給全世界數學家,共同去驗證的,屬於我們的工作已經完成了。」
「是該讓咱們的功臣,享受這份榮譽了。」
「等海外得知這個消息,不知道會有什麼樣的反應?」
「肯定要傻眼。」
待眾位專家笑著表明自己態度,下秒心照不宣的,紛紛向著一個方向望去。
在大家視野中,徐銘正坐在電腦面前,快速撰寫證明論文。
徐銘對於寫數學論文這種事,不誇張的講,僅用一隻手都不會花費太長的時間。
效率稱得上變態。
但由於忙著講解,導致相比之前,這次進度稍慢點。
而就在這時,突然一道熟悉聲音,傳進耳中。
「徐銘,你的意見是?」
他聞言暫時停下手上動作,緩緩抬起視線,發現眾人已來到自己眼前,說話的正是田綱。
剛才他就聽到了大家的討論,面對這句詢問,倒也未有遲疑。
當即點頭同意。
「可以。」
隨著霍奇猜想被徹底解決,他的數學學科經驗,成功達到四千數值,這間接證明了復形工具理論體系,是確確實實成立的。
縱使全球頂尖數學家,自發去驗證,最後也只有正確的結果。
若非想給國內數學界先吃顆定心丸,恐怕在結論完成時就已然公布消息了。
不過他話音剛落,沒等田綱開口,又繼續往下補充。
「但我希望在燕京舉行一場,全球性的專屬研討會,邀請世界數學家參加,屆時在會上公布完整論文進行報告。」
相比較以往直接在數學年刊發表論文。
這次既然想趁著熱度,提升國內數學界和數學學報的影響力,那麼讓全世界的數學家匯聚燕京,成為數學界的風暴眼,無疑是一個更好的選擇。
田綱等人聽到,無疑是全力支持。
「這肯定沒有任何問題,其實就算你不主動提,我們也要同你商議的。」他微笑著附和道。
話落。
緊接著又詢問起日期,「時間方面呢?」
「放到七月底好了。」徐銘面色平靜的給出一個日子。
而將話音聽進耳中,田綱包括周圍其他專家,表情都先是一怔,然後心照不宣浮現出玩味笑容。
「這倒是個適合的日子。」
「確實很合適,不過今年的國際數學家大會,恐怕要很涼嘍。」唐志偉這時沒有忍住,下意識脫口接過話茬附和。
徐銘則笑笑不作聲。
他選在七月底,自然屬於故意為之。
今年八月初,新一屆的國際數學家大會,將會在首爾舉行。
如果全世界數學家,選擇參加霍奇猜想研討會,那麼就會缺席國際數學家大會。他倒要看看,在這種國際數學聯盟權威受影響的情況下,是否會堅持不頒發菲爾茲獎。
要知道對真正的數學家而言,能見證偉大數學猜想的證明。
是無比幸運的。
其中誘惑力可想而知。
何況在這場研討會中,可以親自與證明人探討,要比單純研究冷冰冰的論文,更讓人產生興趣。
因為徐銘的一句話,成功讓大家,對七月份的研討會無比期待。
甚至眾人隱隱覺得,這或許會成為數學界,比數學家大會還要熱鬧的盛會。
當正式拍板決定下來後,紛紛開口感嘆。
「我已經迫不及待想看到七月份了,肯定會很精彩。」
「不知道屆時參加研討會的人數,會不會超過往屆國際數學家大會,場地方面咱們應該奔著幾千人準備。」
「若是放到以前,我做夢都不敢想,國內數學界可以做到這種程度。」
「估計數學聯盟的洛瓦茨主席,要氣得不輕。」
「就該讓他們感受一下,之前賽瑟羅格那件事,聯盟方面可連個屁都沒放。
「」
「海外想通過學術封殺的方式,來打壓徐教授,但這次我只能說是打錯算盤了。」唐志偉聽完大家的話沉聲總結。
下午三點。
本章未完,點選下一頁繼續閱讀。