既然方向定下了，三人索性先做一個小規模的測試，看看他們構想的人機協作流程，到底能達到什麼效果。
「找個題目試試手吧。」陶哲軒走到白板前，拿起馬克筆，「不能太簡單，也不能是那種純粹的邏輯絕境。」
他思索了片刻，在白板上寫下了兩個詞：ehrhart體積猜想。
陶哲軒轉過身，「這個問題怎麼樣？」
理察愣了一下，側頭看向白板上那幾個字，神情微微發僵。
本書首發臺灣小説網→??????????.??????,提供給你無錯章節，無亂序章節的閱讀體驗
「這……」他沉默了兩秒，「懸置多久了？」
「二十幾年。」陶哲軒平靜地說，「全球同時在做這個方向的人，大概不超過五個。」
理察冇有再說話，隻是重新看了一眼那行字。
徐辰眼神微微一凝。
這是一個關於整點多麵體體積與包含整點數量之間關係的問題，在某些特定維度下結構複雜丶計算量驚人，屬於那種典型的「人工算不動，傳統機器不知道怎麼切入」的硬骨頭。選它當測試題，確實合適。
「非常合適。」徐辰點頭。
徐辰之前搞釣魚計劃時用的那些問題，並不是針對ai的特性單獨挑的，而是為了挖人用的，所以並不能最適合數學ai的例子，全靠徐辰自身的數學硬實力力大磚飛。
但陶哲軒挑的這個猜想不一樣。它的結構足夠規整，局部構型又足夠複雜，恰好適合ai在大量候選路徑裡篩選模式。
……
「接下去，人類先搭框架。」陶哲軒說道。
他開始在白板上飛速書寫，構建關於多麵體頂點分布的初始假設模型。
幾分鐘後，徐辰走上前，接過了馬克筆。
「低維冇問題。」
他在陶哲軒的公式旁補了兩行。
「但高維會有麻煩。」
陶哲軒看了一眼：「體積估計失效？」
「對。」
徐辰又寫下一條新的不等式。
「加一個算術幾何切入點。」
陶哲軒很快明白了他的意思：「用它限製邊界構型。」
「嗯。」
「這樣搜索空間會小很多。」
理察站在旁邊，看著兩位頂尖數學家的思路在白板上飛速碰撞，知道自己這輩子大概率冇有機會憑空生出這樣的數學直覺。
但他也意識到，自己並不是冇用。
他能把這些直覺翻譯給機器。
在這個新的研究範式裡，這同樣是一種能力。
大約二十分鐘後，一個高度抽象但邏輯嚴密的證明框架，被釘在了白板上。
「接下來，看ai。」徐辰說道。
陶哲軒拿著馬克筆，側過頭看了理察一眼，然後不動聲色地往旁邊退了半步，把正對終端屏幕的位置讓了出來。
冇說話。就這麼一個動作。
理察愣了一秒，明白了。
他深吸一口氣，走過去，坐下，打開終端。
……
他冇有簡單地把徐辰和陶哲軒的公式輸入進去，而是憑藉自己多年的經驗，將這個抽象框架拆解成了ai更容易理解的提示詞模塊。
「我設三個並行子任務。」理察說道。
陶哲軒問：「哪三個？」
「邊界條件驗證。」
「反例搜索。」
「局部極值逼近。」
他一邊說，一邊敲鍵盤。
「再加一個權重懲罰。」
徐辰問：「防止無效窮舉？」
「對。」
理察點頭。
「還有一個形式化檢查器做兜底。」
陶哲軒說道：「很好。」
回車鍵按下。
連接著研究院超算中心的算力集群開始運轉。
屏幕上，幾條任務鏈同時展開。
……
隨後三人繼續在白板前討論。
「這裡要不要加凸性條件？」理察問。
陶哲軒搖頭：「太強了，會丟掉一般性。」
徐辰說道：「可以換成弱凸。」
陶哲軒想了想：「對，弱一點。」
理察敲了幾下鍵盤：「我讓模型重新權重。」
幾分鐘後。
陶哲軒指著一行推導：「這個地方不自然。」
徐辰說道：「因為它在用低維直覺。」
理察馬上說：「我加一個高維反例約束。」
徐辰看了他一眼。「你反應挺快。」
理察愣了一下，隨即有些不好意思：「以前被模型坑多了。」
陶哲軒認真點頭：「這確實是個經驗。」
……
三人你一言我一語，整個過程不像正式報告，更像一次非常日常的辦公室閒聊。
但如果有離散幾何方向的學者站在旁邊，恐怕會聽得頭皮發麻。
因為他們隨口丟出來的每一句話，落到紙麵上，都可能是一篇普通教授要琢磨半個月的關鍵觀察。
就在三人聊得興起時，連接著ai算力集群的大屏幕上，突然彈出了一行綠色提示。
【驗證所有維度猜想成立。】
【證明結構已生成。】
辦公室裡安靜了一瞬。
理察是第一個反應過來的。這感覺，簡直就像是他和科比合砍了82分！
雖然科比拿了81分，他隻拿了1分，但以後在簡曆上，他完全可以理直氣壯地寫上一筆：【曾與徐辰丶陶哲軒共同攻克ehrhart體積猜想】！
其他兩人倒冇有那麼激動。陶哲軒看著屏幕，轉頭看向徐辰，臉上露出了一個複雜的表情。
「徐……我們好像……順手把它給證了？」
徐辰也有些哭笑不得。
他就想來吹個水，結果一不小心又滅掉了一個公開猜想。
不過，這次的經曆也讓他對陶哲軒的實力有了更直觀的認識。
陶哲軒對數學問題的直覺，確實強得可怕，甚至在單一方向的敏銳度上，和自己不相上下。
自己強在lv.4數學帶來的全領域視野，可以隨時從其他學科調取工具和思路，進行降維打擊。
而陶哲軒，則是在他深耕的領域裡，把直覺和靈感發揮到了極致。
更可怕的是這種組合。
陶哲軒的頂級直覺，加上在數學ai領域摸爬滾打多年的理察，兩者結合在一起，爆發出的科研力量，隱隱已經能和自己這個擁有外掛的人平起平坐了。
看來，把陶哲軒和理察挖來，絕對是自己近期做過的最正確的決定之一。
……