既然方向定下了，三人索性先做一個小規模的測試，看看他們構想的人機協作流程，到底能達到什麼效果。
“找個題目試試手吧。”陶哲軒走到白板前，拿起馬克筆，“不能太簡單，也不能是那種純粹的邏輯絕境。”
他思索了片刻，在白板上寫下了兩個詞：Ehrhart體積猜想。
陶哲軒轉過身，“這個問題怎麼樣？”
理查德愣了一下，側頭看向白板上那幾個字，神情微微發僵。
“這……”他沉默了兩秒，“懸置多久了？”
“二十幾年。”陶哲軒平靜地說，“全球同時在做這個方向的人，大概不超過五個。”
理查德沒有再說話，只是重新看了一眼那行字。
徐辰眼神微微一凝。
這是一個關於整點多面體體積與包含整點數量之間關係的問題，在某些特定維度下結構複雜、計算量驚人，屬於那種典型的“人工算不動，傳統機器不知道怎麼切入”的硬骨頭。選它當測試題，確實合適。
“非常合適。”徐辰點頭。
徐辰之前搞釣魚計劃時用的那些問題，並不是針對AI的特性單獨挑的，而是為了挖人用的，所以並不能最適合數學AI的例子，全靠徐辰自身的數學硬實力力大磚飛。
但陶哲軒挑的這個猜想不一樣。它的結構足夠規整，區域性構型又足夠複雜，恰好適合AI在大量候選路徑裡篩選模式。
……
“接下去，人類先搭框架。”陶哲軒說道。
他開始在白板上飛速書寫，構建關於多面體頂點分佈的初始假設模型。
幾分鐘後，徐辰走上前，接過了馬克筆。
“低維沒問題。”
他在陶哲軒的公式旁補了兩行。
“但高維會有麻煩。”
陶哲軒看了一眼：“體積估計失效？”
“對。”
徐辰又寫下一條新的不等式。
“加一個算術幾何切入點。”
陶哲軒很快明白了他的意思：“用它限制邊界構型。”
“嗯。”
“這樣搜尋空間會小很多。”
理查德站在旁邊，看著兩位頂尖數學家的思路在白板上飛速碰撞，知道自己這輩子大機率沒有機會憑空生出這樣的數學首覺。
。用沒是不並己自，到識意也他但
。機給譯翻覺首些這把能他
。力能種一是樣同這，裡化規正究研的新個這在
。上板白了在釘被，架框明證的嚴輯邏但象度高個一，後鐘分十二約大
。道說辰徐”。IA看，來下接“
。來出了讓置位的幕螢端終對正把，步半了退邊旁往地聲不後然，眼一德查理了看頭過側，筆克馬著拿軒哲陶
。作個一麼這就。話說沒
。了白明，秒一了愣德查理
。端終啟開，下坐，去過走，氣口一吸深他
……
。組模詞示提的解理易容更IA了解拆架框象個這將，驗經的年多己自藉憑是而，去進輸式公的軒哲陶和辰徐把地單簡有沒他
。道說德查理”。務任子行並個三設我“
”？個三哪“：問軒哲陶
”。證驗件條界邊“
”。尋搜例反“
”。近值極域區“
。盤鍵敲邊一，說邊一他
