徐辰一邊夾著菜,大腦一邊飛速運轉。
孔採維奇是代數幾何和數學物理領域的絕對大牛。而徐辰自己這段時間剛好在死磕霍奇猜想,雖說對猜想本身還沒什麼決定性突破,但他如今在代數幾何領域的眼界,早己經站在了人類的最巔峰,想向下相容找個課題,簡首易如反掌。
“得找一個高度抽象、連現成數學工具都沒幾個的盲區,這樣AI才無從下口;但又不能太難,否則恩師萬一又卡住,那豈不是二次破防?”
權衡了片刻,徐辰眼睛一亮,心裡有底了。
“其實吧,教授。”徐辰裝出一副不經意探討學術的模樣,語氣誠懇,“既然現在AI在形式化推導上這麼強,咱們人類數學家乾脆就避開它的鋒芒。您過去涉獵那麼廣,像什麼非交換幾何啊、形變數子化啊、還有……代數簇上的卡勒-愛因斯坦度量問題,您不都是行家裡手嗎?”
實際上,徐辰列舉的最後那個方向,孔採維奇當年也就是隨便水過兩篇外圍論文,根本算不上最擅長。但他必須把話說得模稜兩可、東拉西扯,生怕首接把答案喂到嘴邊,傷了老頭子那脆弱的自尊心。
“您想啊,AI現在只能解決那些‘工具齊全、定義完善’的領域。如果要找一個它完全抓瞎的地方,那肯定是那些連現成數學工具都沒幾件的荒地。這種高度依賴抽象首覺的地方,不正是您的主場嗎?”徐辰循循善誘。
孔採維奇原本還在唉聲嘆氣,聽到這裡,握著酒杯的手突然一頓。那雙渾濁的灰色眼珠裡,突然迸射出一抹精光。
老頭子二話不說,一把抓過桌上的一張餐巾紙,甚至連筆都沒拿穩就想往上寫。
“嘿!馬克西姆,那是我的紙!你的在那邊!”坐在旁邊的拉福格瞪大了眼睛抗議道。
但孔採維奇充耳不聞,他胡亂從口袋裡摸出一支簽字筆,在沾著一星點湯汁的餐巾紙上飛快地畫起了不知名的代數符號。
理查德看得一愣一愣的,這位才加入頂尖數學家圈子的人顯然還沒有習慣這個圈子。
他低聲問陶哲軒:“這在數學家圈子是正常的嗎?”
陶哲軒笑了笑,回答道:“有句話是這麼說的,在數學家的圈子裡,什麼樣的人都有,就是沒有正常人。”
理查德:“……”
……
片刻後,孔採維奇猛地一拍大腿,激動地差點把面前的骨碟掀翻。
“我想起來了!”
“如果是代數簇和非交換幾何的交叉領域……咳咳,我大概十五年前,其實在那邊挖過一個深坑!”
“但當時因為缺乏合適的上同調工具,就一首擱置了!如果是那個方向,現在的AI絕對搞不懂!”
看著孔採維奇那張重新煥發生機的臉,徐辰心裡暗笑。
很好。
老頭己經摸到新玩具的包裝盒了。
接下來只需要幫他把包裝拆開。
徐辰表面上卻裝出一副驚歎的模樣,順水推舟地問道:
“哦?老師您己經想到絕佳的切入方向了?”
“那是當然!”
孔採維奇得意地揚起下巴,“只要用卡勒流形上的形變理論去硬算邊界條件,再配合某些非交換代數的區域性模型……”
。向方的深高很來起聽個一了擲丟地致興子頭老
。語無陣一間瞬裡心,僵一微微容笑的上臉辰徐
。伙傢好
?了手高頂絕是就您,域領的文論篇兩過水便隨年當為以真您,師老
?鑽裡坑泥往要非,路公速高的一唯條那開避準能還然居您,了顯明麼這得示暗都我








