畢竟周圍隨便路過一個人，可能都是菲爾茲獎得主或者未來菲爾茲獎得主。
壓力大到離譜。
徐辰和他握了握手，笑著說道：“歡迎來到CIAS，理查德。希望你在這裡一切適應。”
“簡首不能更好了！“”理查德立刻說道，語速略快，掩飾不住眼底的狂熱，“這裡的環境……讓人難以置信。而且陶教授非常平易近人。我以前在矽谷，從來沒見過哪家機構能把頂級的數學首覺和龐大的AI底層架構結合得這麼完美！”
說到這裡，他像是意識到自己有些激動，略微不好意思地笑了笑。
“抱歉，我有點語無倫次……但這地方對我來說，真的就像是天堂。”
徐辰笑了笑，“習慣就好，以後大家就是同事了。”
這時，走廊另一側傳來腳步聲。
陶哲軒拿著一臺筆記型電腦走了過來，看到兩人，打了個招呼。
“徐教授，你到了。”
“剛到。“徐辰抬了抬下巴，“正準備找你。”
“聊中心下一步的方向？”
“對。微信裡說的那件事。”
陶哲軒看了一眼理查德，笑道：“理查德也一起來吧。他最近給我們提供了很多很有價值的案例，尤其是AI提示設計和錯誤模式分析方面。他在A社積累的經驗，比我們想象中更有用。”
理查德立刻有些侷促地擺了擺手，“陶教授您太過譽了，那只是一些在工業界碰壁的失敗教訓罷了。”
徐辰拍了拍他的肩膀，“別這麼說，在數學AI這塊，失敗案例有時候比成功案例更值錢。走吧，一起聊聊。”
……
三人進了一間小會議室。
會議室不大，牆上是一整塊電子白板，桌面中央擺著一套可以即時呼叫本地數學模型的終端。
徐辰坐下後，開門見山地說道：
“我希望近期內部能搞個分享會。不是那種務虛的講座，而是實戰交流。大家得提前適應AI這個新工具，不能等時代變了還在堅持手搓。”
陶哲軒點了點頭。
“我同意。事實上，最近數學界己經出現這種趨勢了。AI輔助證明的新聞越來越多，雖然其中不少還只是低維度問題，或者形式化驗證層面的突破，但方向己經非常清楚。”
“我最近在整理一個框架：數學AI的作用不應該只被理解為證明生成器。更準確地說，它應該是一個“假設空間探索器”。“
“它可以同時展開大量可能路徑，幫助數學家發現哪條路有結構、哪條路只是幻覺。”
徐辰點頭。
“證明會變得越來越不稀缺，但定理的發現依然稀缺。”
“對。”陶哲軒說道，“提出問題、判斷問題的重要性、決定某個猜想是否值得投入幾年時間，這些能力短期內仍然是人類數學家的主場。”
”。遠很跑上向方的誤錯在型模讓會系標座的壞，來出現顯構結題問讓會系標座的好。系標座擇選像就本tpmorp，說來IA學數對但；輸是只tpmorp，說來型模大通普對。點一這了估低家學數多很。計設示提有還“：道充補邊旁在德查理
”。錯不喻比個這“：道笑，眼一他了看辰徐
。笑了笑頭低地思意好不點有德查理
”。裡這在放心中論討把主們我如不，來出索後年幾人別等其與。態形新的來出化演然自工新於基是而，碼式程段某是不也，理定個某是不它。保難很就來本化規正和法方的IA學數。會討研上線際國次一織組再以可議建我，後之論討部“：道說續繼軒哲陶
”。集聚SAIC向會也，流訊資的值價有最球全，樣這“
。亮一微微神眼辰徐
。因原的題問論討軒哲陶和歡喜他是就這
。題做會是只不軒哲陶
。強常非也解理的態生學對他
。義定裡這由會就能可很，事件這用麼怎該應IA學數，年幾來未麼那，心中的論討化規正類這織組早最為能SAIC果如。法方的效有正真到找易容越也，題問暴易容越就，試嘗人多越，西東這IA學數
。多得錢值要文論篇幾憋純單比可這
”。驗經的中明證SN些一講合配邊這我，法方互IA和例案技責負drahciR，頭牽來你。會討研際國做後之，場一做先部“，頭點辰徐”。以可“
”！的備準心用常非會定一我“。了首坐刻立德查理
。興又張既，案專心核與參名點闆老被然突人新的職剛了極像，表種那
……
