第199章 千禧年難題得證（2/2）
說著重新坐下來。
旁邊的邱誠桐，聞言也沒保持沉默，隨口接話道：「以徐銘的天賦，能成功證明他提出的新理論，想來解決霍奇猜想的把握應該很大。」
「是啊。」
「只要徐銘解決霍奇猜想，我國在數學界的權威，會更上一個層次。」
「雖然清楚徐銘的數學天賦，但剛接到消息時，愣是沒敢相信。」陳躍民接過王立群的話笑著感嘆道：「誰能想到從數論轉到代數幾何，非但沒受到影響，還這麼快，就讓霍奇猜想有了進展。」
「這下連帶國內的數學學報期刊，也能提高不少影響因子。」
幾位院士互相交談著。
話里話外，皆是對徐銘的欣賞。
已然迫不及待，想看到霍奇猜想被徹底解決。
至於現場的鄭以中和馮長平等教授，則硬是找不到插嘴的機會。
只能安靜坐在那裡耐心等待。
其實這些天。
大家經常會過來這邊，關注霍奇猜想的進展。
田綱為保護徐銘的思路不被打擾，更是把鏡春園，全部作為課題辦公地點，讓其他人暫時搬到隔壁的朗潤園。
足可見重視程度。
與此同時。
鏡春園會議室內，原本長方形的實木會議桌，已經被搬離出去。
房間內擺放著許多塊寫字板。
徐銘捏著馬克筆，正快速書寫數學公式步驟，寬的空間內，只剩下筆尖摩擦的聲音。
他成功證明，導出平展Motivic上同調復形工具後，便正式開始最終的拼圖，對霍奇猜想發起總攻。
為確保過程順利，連錦飛那邊的智能平台項目，都暫且交給宋振宇負責。
好在一晃兩三個月過去。
關於霍奇猜想的進展，始終是平穩推進。
並未遭遇瓶頸。
這主要歸功導出平展Motivic上同調復形工具的強大。
正所謂工欲善其事必先利其器，有這樣一個完整強大的框架體系，就相當於已經把全部拼圖拿到手，後面大家需要去做的事情，便知剩下把這張霍奇猜想圖拼出來。
單純耗費時間罷了。
何況加上許逸陽，以及劉馳和李若川他們幫忙，效率自然很快。
下秒。
徐銘停下手上的動作。
很是滿意的，對面前寫字板上的公式審視一眼，然後轉過身沖許逸陽他們三人說話。
「大家先吃飯吧。」
自從他將導出平展Motivic上同調復形的進展，告知給張魯平教授和田綱院士，他們課題小組就成了院裡乃至國內整個數學界的重點保護對象。
除得到了整個鏡春園作為辦公地點，連吃飯問題都有人專門解決。
儘管徐銘不覺得有必要，奈何實在架不住田綱堅持。
不過對於朗潤園那邊發生的事，他倒是不清楚，畢竟連田綱院士都不主動接觸他。
似乎生怕會影響對霍奇猜想的研究。
許逸陽和劉馳以及李若川，對徐銘交代的事，執行起來幾乎都快成本能反應。
聞言沒有任何遲疑，紛紛放下筆和草稿紙。
「好的徐教授。」
幾人和那天在辦公室門口，追問情況時比較，面色要顯得憔悴許多。
他們明明是跟著徐銘一起加班休息，結果整個人的狀態越來越疲憊，屬於身體睡眠不足沒有休息好，可反觀徐銘依舊每天精神充沛。
互相一通分析下來，認為是徐銘每天鍛鍊的緣故。
到後面不得不，調整自己的作息時間。
但絲毫不誇張的講，這是他們學習研究數學生涯中最開心滿足的兩個月。
能每天親眼見證，霍奇猜想被逐漸證明，恨不得一天二十四小時全撲上面。
畢竟把視角拉到國際數學界，也找不出幾個人，可以有這樣的機會，去解決千禧年數學大獎難題，關鍵還感覺到非常的輕鬆簡單。
當然他們心裡非常清楚，這全是因為，徐銘構建出的導出平展Motivic上同調復形工具。
不多時。
待眾人在飯桌旁坐下，許逸陽想到什麼，看向面前的徐銘主動搭話。
「徐教授。」
「在特徵P>0下，利用復形工具，我們已經得到範疇中的映射，等價於它們都是代數相關的存在。」
「估計再有一個多月，就能徹底證明霍奇猜想。」
講出這幾句時，絲毫沒有掩飾，眼神中迸發出的炙熱和精芒。
話音落下不等徐銘開口，旁邊劉馳和李若川，便提出了不同的意見。
「我覺得用不到一個月。」
「通過光滑提升，得到代數性可以從正特性提升到特徵零的複數域上，距離解決霍奇猜想只差臨門一腳。」
「以徐教授的效率，估摸著最多半個月。」
徐銘將幾人的話悉數聽進耳中，僅沉聲提醒句，沒有在這個話題上深究。
「先吃飯吧。」
對於究競什麼時候，完成霍奇猜想的全部證明步驟？
他可以說絲毫不擔憂。
反正從成功證明，導出平展Motivic上同調復形工具的那一刻，就已然確認解決霍奇猜想是板上釘釘的事，遲早能給出完整的證明過程步驟，沒必要急於這一時半會兒帶來失誤或者細小的錯誤。
畢競作為世界七大數學難題之一的存在，對證明過程的驗證程度也極為嚴格。
往往會持續較長的時間。
11月6日，周三。
下午。
鏡春園會議室。
徐銘此刻完全沉浸在霍奇猜想的定理中，手上動作沒有絲毫停歇，不斷書寫出一個又一個數學符號公式。
經過將近一個月的推進，眼下終於來到證明霍奇猜想的最後時刻。
伴隨時間一分一秒過去，眼前面板上不斷浮現出數學學科經驗值提示信息。
【經過努力學習，你的[數學]水平提升了，獲得經驗值11點。】
【經過——】
而許逸陽等人則盡皆站在原地，根本插不上手。
用力控制著因太過激動，導致微微顫抖的身體，見證這一數學偉大時刻的到來。
片刻。
徐銘親手寫出最終結論。
「通過比較定理——」
「在複數域上，一個類是Motivic代數的，若且唯若它是一個(p，p)-型的霍奇類。」
「霍奇猜想成立。」
>