他雖是國際數學聯盟的負責人，卻也不是除了數學什麼事情都不關注。
對於徐源在其他學科領域，以及在自然雜誌上發表論文的事，他都是有看過新聞並且知道的。
如今國際數學家大會召開在即，徐源更是一點麵都不打算露。
結合相關情況，難免會聯想到徐源要淡出數學界。
當念頭停留在這裡，他對此卻有些遺憾，甚至還夾雜著些許後悔。
早知道徐源獲得菲爾茲數學獎後，就直接淡出了數學界投身其他學科領域，那麼還不如晚個幾年再把菲爾茲獎頒發給徐源。
這樣說不定還能讓徐源，在數學界多留幾個成就。
對於徐源在數學上的天賦，他無疑其認可的，甚至整個數學界都不會懷疑。
畢竟能在二十多歲的年紀證明哥德巴赫猜想，並成為年齡最小的菲爾茲獎得主。
這是其他人連想都不敢想的事情。
但如此有天賦的人，卻這麼早就淡出了數學界。
實在是數學界莫大的損失。
如果徐源繼續在數學界紮根的話，不知道會有多少懸而未決的難題被解決。
“這可真不是一個好消息，數學界就此損失了一位很有天賦的年輕天才。”
邊想著這些他邊低聲感慨。
仿佛很難接受，眼前這個令人歎息的事實。
可就在這個時候，對麵的助理卻明顯一怔，對羅特爾的話表示疑惑。
略作遲疑後，他還是主動詢問了句。
“羅特爾先生，你是不是誤會了，徐教授並沒有放棄數學啊！”
“沒放棄？”羅特爾越發疑惑。
話音剛落下秒便追問道：“那這是怎麼回事，我需要更詳細的回答。”
“徐教授的回複郵件中說，他目前正在嘗試證明霍奇猜想，所以沒有辦法來參加本屆國際數學家大會。”
“正在證明霍奇猜想。”羅特爾聞言心中一動。
這時他突然想到之前在數學界傳播的一個消息，好像徐源確實說過會在今年證明霍奇猜想。
如今還在緊張的證明中，連在國際數學家大會線上露麵都沒有時間。
難道真要把霍奇猜想給解決了。
想到這些饒是羅特爾乾了幾年聯盟負責人，心裡麵也不由得激動起來。
畢竟身為一位數學家，誰不想看到世界數學難題被證明。
對此他已經徹底期待上了。
確定了事情的關鍵，很快他整個人臉上的表情也輕鬆了許多。
就等著霍奇猜想被證明的好消息傳來。
不過表麵上他依舊表現的很鎮定，隨即淡淡的對助理吩咐了句。
“那就照著這份文件公布吧，”其他的不用管。
“好的羅特爾先生。”
助理麵對吩咐自然是沒有異議，答應下來當即轉身離開去執行。
……
國際數學聯盟的效率還是比較高的，當天便公示出了進行報告的數學家名單。
但值得一提的是，最後他們還特意提到了徐源。
表示菲爾茲獎得主徐源，目前正在證明世界數學難題霍奇猜想，很遺憾不能出席本屆數學家大會。
隨著海外數學家最先看到這份公告，數學社區上很快爆發了激烈討論。
儘管不少數學家都對此抱有期待。
希望徐源真能完成證明。
可也有很多人持悲觀態度，甚至認為徐源對霍奇猜想的證明沒有任何進展。
畢竟先前徐源參加開講啦欄目時，裡麵對霍奇猜想的說明很多人都看到了，裡麵明確表示今年就有可能完成霍奇猜想的證明。
當時整個數學界都很期待。
奈何眼下本屆國際數學家大會都要召開，徐源卻依舊還在證明。
甚至連參會露麵的時間都沒有。
難免讓人有種不好意思參加的感覺。
而出現這種情況，隻能是對霍奇猜想的證明，因沒有進展感到心虛。
作為數學家學者最大的交流社區，這時候肯定是互相輸出自己的觀點。
且各自都說服不了對方。
“今年國際數學家大會又看不到徐的報告了嗎，確實是讓人有些遺憾啊。”
“霍奇猜想的證明究竟怎麼樣了？”
“這時候還在研究，難道是快有結果了嗎？”
“霍奇猜想彙聚了最抽象的概念，哪怕是如徐這樣的數學天才，也不可能在短時間內完成證明，我們必須要持悲觀態度。”
“或許是知道自己證明不出霍奇猜想，所以才不好意思參加數學家大會。”
“我的上帝啊，如果連徐都不能證明，那數學界還有誰能解決剩下的世界難題。”
“可惜數學界已經很久沒有佩雷爾曼的消息了，他能證明龐加萊猜想，或許也有機會解決因世界數學難題。”
“希望徐能公開回應，讓我們知道霍奇猜想究竟能否被證明。”
……
相比較海外數學界褒貶不一的輿論，相關話題傳回到國內這邊後，網友對於徐源則都是關心支持。
在廣大網友眼中，徐源解決哥德巴赫猜想，為國內數學界摘取菲爾茲獎。
已經證明了自身的數學天賦。
對數學界所做出的貢獻誰都磨滅不了。
因此無論是否能證明霍奇猜想，都不會影響大家對徐源的喜愛和信任。
沒有證明成功隻能說是正常，霍奇猜想作為最抽象概念的集合體，懸而未決這麼多年足以說明難度。
如果真的證明成功，並且結論論證成立的話，那無疑是錦上添花。
和全球數學界一起歡呼慶賀。
而儘管數學理事會成員，有人已經知道徐源對霍奇猜想的證明，達到了最後關鍵的階段，距離徹底證明可以說隻差臨門一腳。
但卻沒有一個人在網上主動提這件事。
並且還是屬於自發。
除了是正如馬智明說的那樣，害怕形成太大輿論影響到徐源外。
更重要的是完成證明後，還要經受全球數學家的各種論證。
隻要找到任何一個漏洞或不合理處，便能宣布此證明過程不成立。
所以最終情況如何誰也無法百分百保證。
不貿然為徐源發聲，也是擔心大家希望越大，到時候失望越大。
反倒不利於徐源。
以至於當相關話題登上熱搜榜首後，能看到評論區留言的基本都是普通網友。
要麼是高校的數學人博士生。
幾乎看不到任何一位知名的教授發聲。
“海外那些數學家學者，對徐教授的要求太高了，誰說必須要證明出霍奇猜想才行。”
“說的沒錯，有本事讓他們自己證明去。”
“霍奇猜想作為世界難題中概念最抽象的，想徹底證明哪有這麼容易。”
“徐教授早就證明了自己的數學天賦，就算這次沒有解決霍奇猜想，對數學界的貢獻也已經超過了全球絕大多數數學家。”
“我相信徐教授，既然徐教授沒有表態，那說明他還是有信心的。”
“雖然我也很期待徐教授能解決霍奇猜想，但有時候還是要認清現實。”
“霍奇猜想是什麼？”
“不了解霍奇猜想的請看這條評論，霍奇猜想……”
……
連續幾天時間，全網討論熱度最高的還是數學。
除了因為霍奇猜猜事，主要剛好還正值國際數學家大會開幕。
並且按照這個趨勢，隻怕數學家大會結束前熱度都不會掉多少。
畢竟單是徐源在國內的粉絲，就已經不輸那些著名的演員明星了。
2014年8月12日，周二，箐華數學院。
由於明天便是本屆國際數學家大會開幕時間，屆時在開幕式上還將揭曉菲爾茲獎。
因此馬智明等國內數學家，早已經出發並到達了目的地。
中午徐源在學校食堂吃飯。
為了儘量不浪費時間，他沒有選擇回家裡吃。
這幾天他基本上都在證明霍奇猜想，其麵板上的進度條也終於來到百分之九十九。
隻剩下最後的幾步證明，就能得出那個讓代數幾何和拓撲學建立聯係的條件。
屆時霍奇猜想也將被徹底解決。
按照之前推導證明步驟的經驗，估計也就再花個兩三天時間。
儘管徐源已經取得了這麼多數學成就，可想到自己馬上就要證明霍奇猜想，心裡麵還是頗為自豪高興的。
誰讓他從確定研究霍奇猜想，過程中不斷調整思路方法尋找正確方向。
到現在都花費了這麼久時間。
是他投身數學學術研究以來，付出心血和精力最多的一次。
自然會湧現更多的滿足感。
徐源和平時打了一樣的飯菜後，便隨便找了個空桌子坐下。
想著吃完飯就回辦公室繼續證明。
這時徐源眼角餘光注意到唐時宏的身影走了過來。
停下筷子抬起視線望去，看到對方最終坐在他麵前的座位上。
見此他倒也沒有多想，還主動打了聲招呼。
“唐教授。”
“我坐這裡，會不會打擾到伱？”唐時宏聞聲臉上堆著笑容詢問。
徐源則連忙擺擺手。
接下來的時間，兩人便自顧自吃起麵前飯菜。
並沒有談論其他事情。
原本他還以為唐時宏，會忍不住詢問他關於霍奇猜想的情況。
畢竟這屬於人之常理，也不會影響到他的進度。
但比較意外的是，唐時宏並沒有提霍奇猜想，直到把麵前的飯菜吃完，這才挺起身忍不住有些神秘的開口詢問了一聲。
“你這幾天沒有上網吧？”
徐源聽到這句話，臉上表情稍有些疑惑。
不知道對方為什麼會突然這麼問。
可這畢竟不是什麼問題，所以他便想都沒想直接如實回答：
“沒有。”
“我一直在忙著推導公式。”
“那就好，你就專心做自己的事就行。”唐時宏聽到這個回答笑了笑說。
顯然他很清楚最近數學界的一些情況，擔心某些議論會影響到徐源。
現在得知徐源沒有時間上網，自然就放心了。
徐源把唐時宏的表情變化看在眼裡，雖疑惑但最終並沒有去詢問什麼。
直到接下來的時間吃完飯回到辦公室，這才掏出手機連接上網絡。
“讓我看看是發生了什麼事？”
自顧自說了一句，首先登上自己的微博賬號。
以他如今粉絲的體量，每次上線都會有大量的留言和私信。
基本上通過這些便能了解最近發生的事，不需要再去其他平台額外搜索。
大致瀏覽了一會後，他也終於明白吃飯時唐時宏話裡的意思。
說實話對於海外數學界出現的質疑聲音，他一點都不感覺到意外。
相反全是支持他的那才令人詫異。
畢竟他隻是一位還很年輕的數學家，又不是神。
做不到讓所有人都相信。
不過這件事還是讓他產生了些許想法，應該讓這件事引起更大的轟動。
“看來這下要給自己上點壓力才行了，最好能在明天徹底證明霍奇猜想。”
自顧自低喃的同時，頓時一個念頭在腦海中浮現。
原本他的計劃是用兩三天的時間證明霍奇猜想，儘量讓這件事迎來一個滿意的結尾。
可現在他更覺得，在明天國際數學家大會開幕的時候，宣布霍奇猜想被解決效果會更好。
另外他還要讓人知道，他沒去參加這屆國際數學家大會，確實是在證明世界數學難題霍奇猜想。
“這樣的話倒是可以開場直播，全程直播我證明霍奇猜想的過程。”
證明過程進行實時直播，相信對大家來說也是種新奇的體驗，並且還能給他增加壓力，爭取在明天解決剩下的幾個步驟。
直播這一形式，早在零幾年的時候就已經出現。
而今年則是真正的開始興起。
想到這些他的眼睛也越來越亮，於是接下來的時間便不再遲疑什麼。
當即聯係計院那邊搞了套直播設備過來，並找了間討論室作為直播地方，甚至還貼心的把常用的草稿紙變成了寫字板。
就這樣。
下午在計院幾位博士生的努力下，終於把直播設備裝好完成調試。
儘管他們想不通徐教授為什麼突然要直播，但計院的人可都清楚徐源在機器學習上的領域，麵對這種小事自然是用最短的時間完成。
——
“徐教授，直播設備都已經調試好了。”
數學院討論室內，隻見一位博士生臉上堆著比較靦腆的笑容，走到徐源跟前指著後麵的設備說。
“辛苦你們了。”徐源聞言點點頭，微笑著回應了句。
至於接下來的時間，那自然是開啟直播，開始完成霍奇猜想的最後幾步證明。
徐源本來就有著很高的計算機水平，後續自然不需要其他人留下來幫忙。
要不是嫌太浪費時間，他都打算自己搭建個直播平台進行直播。
後麵索性直接選了個國內的直播平台注冊賬號。
反正不出意外的話，他也就會直播這麼一回，之後賬號就不會使用了。
此刻討論室內的幾人，看到自己能夠幫助到學校裡的傳奇教授，甚至還得到了偶像的問候，心裡麵也可謂是激動興奮。
隨著那股澎湃的激情湧現出來，仿佛眼前已經沒有任何困難。
不過就在他們傻笑著準備離開時，最先彙報情況的博士生又突然停下腳步。
實在按耐不住心裡的好奇，主動向徐源問了句。
“徐教授。”
“能問下您為什麼突然想起來要直播？”
徐源聽到這句話當即朝對方看去，對此自然沒有特意去賣什麼關子。
當即笑著如實回應道：
“你說這個啊，我隻是直播下證明霍奇猜想的過程。”
幾乎是話音落下的瞬間，眼前幾位學生頓時怔在了原地。
頓了好幾秒才反應過來，說話都有些吞吞吐吐。
“直播……證明霍奇猜想？！”
他們當然也看過直播，但都是些戶外或者美女。
像這種如此硬核的直播，還是頭一回聽到，絕對能稱得上是直播界第一人了。
本來他們還想著等下到直播間捧個場，但現在看來應該是沒必要了。
畢竟聽數學課的時候都昏昏欲睡聽不懂，更不要說去看霍奇猜想的證明過程了。
怕是和聽天書沒什麼區彆。
不過可以確定的是，恐怕用不了多長時間，這個直播間就會成為平均學曆最高的直播間。
念頭停留在這裡，他們再傻也肯定知道，網上估計馬上就該有大新聞了。
於是不敢過多耽擱，想趕緊找人分享內幕消息。
徐源目送他們幾個人離開，直到對方身影徹底消失在視野中，這才走到設備旁關掉禮物開啟直播。
看到直播間畫麵正對著寫字板後，這才放心的朝寫字板走過去。
他可沒有和直播間觀眾互動的打算，何況沉浸到深度學習狀態後，就更不會受周遭環境的影響。
反正如此硬核的直播，到後麵會看的肯定也都是數學教授學者。
另外相關視頻也肯定會被發到外網，到時候怕是很多海外數學家都要傻眼。
緊接著他想了想又發了條微博提了嘴，然後便正式開始證明起來。
“設X是一個射影代數流形，p是一個正整數。”
……
“H（X，Q）alg=H，（X）∩H（X，Q）”
……
也就隨著霍奇猜想相關公式被他寫出時，微博上麵也徹底炸開了鍋。
原本這幾天大家都已經調整好了心態，就算徐源證明不了霍奇猜想也會接受。
並不會因此指責徐源。
可現在他們卻看到了什麼，徐源居然開直播現場證明霍奇猜想。
這說明什麼？
顯然徐源對證明霍奇猜想，是有著絕對把握的。
在這種情況下，大家剛沉浸下去的情緒，又被瞬間點燃激動不已。
紛紛第一時間去看徐源的直播，總之哪怕完全看不懂直播內容，那也要待在直播間裡共同見證這項數學曆史上的裡程碑誕生。
“臥槽，徐教授要直播證明霍奇猜想！”
“之前是誰說徐教授證明不了霍奇猜想的，現在應該沒話說了吧。”
“沒想到徐教授會玩這麼新潮的東西，不過徐教授好像和我差不多大，那沒事了。”
“這是要見證曆史了嗎？”
……