第622章研究院的後續工作一數學
第622章研究院的後續工作一數學(第3/4頁)
次……但這地方對我來說，真的就像是天堂。」
徐辰笑了笑，「習慣就好，以後大家就是同事了。」
這時，走廊另一側傳來腳步聲。
陶哲軒拿著一臺筆記本電腦走了過來，看到兩人，打了個招呼。
「徐教授，你到了。」
「剛到。「徐辰抬了抬下巴，「正準備找你。」
「聊中心下一步的方向？」
「對。微信裡說的那件事。」
陶哲軒看了一眼理察，笑道：「理察也一起來吧。他最近給我們提供了很多很有價值的案例，尤其是ai提示設計和錯誤模式分析方麵。他在a社積累的經驗，比我們想像中更有用。」
理察立刻有些局促地擺了擺手，「陶教授您太過譽了，那隻是一些在工業界碰壁的失敗教訓罷了。」
徐辰拍了拍他的肩膀，「彆這麼說，在數學ai這塊，失敗案例有時候比成功案例更值錢。走吧，一起聊聊。」
……
三人進了一間小會議室。
會議室不大，牆上是一整塊電子白板，桌麵中央擺著一套可以實時調用本地數學模型的終端。
徐辰坐下後，開門見山地說道：
「我希望近期內部能搞個分享會。不是那種務虛的講座，而是實戰交流。大家得提前適應ai這個新工具，不能等時代變了還在堅持手搓。」
陶哲軒點了點頭。
「我同意。事實上，最近數學界已經出現這種趨勢了。ai輔助證明的新聞越來越多，雖然其中不少還隻是低維度問題，或者形式化驗證層麵的突破，但方向已經非常清楚。」
「我最近在整理一個框架：數學ai的作用不應該隻被理解為證明生成器。更準確地說，它應該是一個'假設空間探索器'。「
「它可以同時展開大量可能路徑，幫助數學家發現哪條路有結構丶哪條路隻是幻覺。」
徐辰點頭。
「證明會變得越來越不稀缺，但定理的發現依然稀缺。」
「對。」陶哲軒說道，「提出問題丶判斷問題的重要性丶決定某個猜想是否值得投入幾年時間，這些能力短期內仍然是人類數學家的主場。」
理察在旁邊補充道：「還有提示設計。很多數學家低估了這一點。對普通大模型來說，prompt隻是輸入；但對數學ai來說，prompt本身就像選擇坐標係。好的坐標係會讓問題結構顯現出來，壞的坐標係會讓模型在錯誤的方向上跑很遠。」
徐辰看了他一眼，笑道：「這個比喻不錯。」
理察有點不好意思地低頭笑了笑。
陶哲軒繼續說道：「內部討論之後，我建議可以再組織一次國際線上研討會。數學ai的方法和範式本來就很難保密。它不是某個具體定理，也不是某段代碼，而是基於新
（本章未完，請點擊下一頁繼續閱讀）