幕布上
在各位教授討論的時候,人工智能god已經開始了霍奇猜想的講解。
隨著一行行算式劃過,台下坐著的教授終於認真起來了。
“請送一份筆記本和筆過來,我需要驗證一下。”會場裡到處響著與之類似的聲音。
然後就看到麻省理工的助教不停的從幕後將紙筆送到每一個教授的手裡,最後查爾斯校長乾脆發話,直接給每一個人發一份紙筆,也免得走來走去影響到報告會。
與此同時,人工智能god為了方便大家進行驗算,它每一頁都會停留個幾分鍾,這些時間對於在場的大多數數學家來說,足夠了,至於那些少部分數學家不懂就不懂吧,它也管不了這麽多了。
台下,西盟座位區的霍普金斯教授在將god顯示出來的算式驗算一遍後,眼神裡露出一絲不可置信。
“這種方法,居然還可以用這種方法,這種方法為什麽我們沒有想到。”
“該死,彼得居然沒有用到數閉鏈的幾何部件的有理線性組合,這說明他是根據自己的想法證明的霍奇猜想,如果霍奇猜想真的被他證明的話。”旁邊的教授放下手裡的筆,對霍普金斯教授說道。
“是的,如果霍奇猜想真的被他證明的話,我們研究室這麽多年的研究成果就打水漂了。”霍普金斯教授歎了口氣。
他旁邊的幾人都沉默了下來。
與此同時,坐在會場另一邊的終南大學嚴教授和北大的曾教授也開始了自己的驗算。
雖然兩位教授年事已高,但是帶著老花眼鏡的他還是用筆在自己的紙上寫下一行行數學公式。
坐在嚴教授旁邊的魯班,因為年輕視力好,他已經完成了這一階段的驗算,趁著還有時間,他也是幫著兩位老教授將算式數據抄錄下來,讓他們進行驗算。
兩位教授的學識本就不差,只是因為看不清幕布上的數字這才驗算的較慢,現在有魯班的協助,自然很快就驗算了出來。
“根據我的驗算,如果霍奇猜想對於度數p的霍奇類成立,其中pn)$(xi)2]/ n -(Ex)2^(3)這段證明算式是不是有點問題。”
台上人工智能彼得的頭上右上角出現一個大寫的問號,但它卻沒有正面回答魯班的疑問,看它的樣子,顯然是在進行深度驗算,看來魯班的提問應該是有點難度,god也需要重新驗算才行。
見此場景,彼得連忙出來救場,“好的,感謝夏國學者魯班提出的疑問,現在我們的解說員god正在進行緊張的重新驗算,所以由我來客串臨時解說員。”