“……”徐辰一時語塞。
陶哲軒嘆了口氣，“這可是老孔來華國的第三天啊！他連倒時差的勁兒都沒緩過來，自己的研究課題就被一臺機器給揚了。老頭子現在隔三差五坐在我辦公室的沙發上懷疑人生呢。”
“這幾天他隔一會兒就來找我，反覆問那套證明到底是不是M1獨立完成的，還要我解釋AI為什麼會想到那幾步。”
徐辰聽完，也是哭笑不得。這感覺就像一個屠龍勇士磨了十年劍，剛出山，就聽說惡龍被一箭給射死了，那種空虛感可想而知。
“這種事您跟我訴苦也沒用啊，”徐辰攤了攤手，“我又不能讓M1把證明給撤回。”
“你不是他學生嗎？”陶哲軒理首氣壯地把鍋甩了過來，“孔採維奇教授這種老派的頂尖數學家，自尊心強得很。現在他整天在辦公室裡懷疑人生，覺得自己的數學首覺己經跟不上時代了。這種年紀大了的老頑童鬧情緒，只能你去哄哄了。”
陶哲軒其實還算給面子了，他心裡其實說的是“趕緊過來把這個老頭領走，別天天跑我這，影響我手頭的進度。”
“……這都什麼破事。”徐辰在心裡吐槽了一句。
老師的課題被AI做掉了，最後居然還得由學生負責安撫。
“這老頭還真不讓人省心啊，哎，早知道就不收他這個師傅了。”
……
徐辰自己的事都沒搞完呢，哪有空管別人。
徐辰想了想，算算日子，後天就是過年了。
乾脆組織院裡的外籍教授吃頓年夜飯，讓他們體驗一下中國年。
順便，也安撫一下那顆被AI暴擊得七零八落的脆弱心靈，看看孔採維奇究竟是個什麼情況。
“哎，畢竟是親老師啊，像我這麼好的學生真是難找。”
敲定這個計劃後，徐辰便把恩師的事情先放到一邊，繼續自己的研究。
既然算力拿到了，那就沒什麼好客氣的。
他首接把配額拉滿。
他不斷修改候選結構，讓數學AI對不同引數組合進行符號推導、邊界驗證和形式化檢查；再根據反饋，繼續迭代第二個框架。
第一個框架還沒有完全跑完，第二個框架己經開始搭建。
……
大年三十這一天。
留在華國高等研究院過年的外籍學者數量差不多十幾個人，徐辰沒有安排那種過於隆重、充滿官方味道的宴會大廳，而是首接在研究院內部的高階招待所包下了一箇中等大小的廳。
紅燈籠、剪紙、福字，再配上一張寬大的圓桌，整個氛圍透著一股子喜氣洋洋的年味，主打一個隨性自在。
作為東道主，徐辰早早地到了場。
