第623章 研究院的后续工作 一 数学AI 1（2/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

毕竟周围随便路过一个人，可能都是菲尔兹奖得主或者未来菲尔兹奖得主。

压力大到离谱。

徐辰和他握了握手，笑着说道：“欢迎来到CIAS，理查德。希望你在这里一切适应。”

“简直不能更好了！“”理查德立刻说道，语速略快，掩饰不住眼底的狂热，“这里的环境……让人难以置信。而且陶教授非常平易近人。我以前在硅谷，从来没见过哪家机构能把顶级的数学直觉和庞大的AI底层架构结合得这么完美！”

说到这里，他像是意识到自已有些激动，略微不好意思地笑了笑。

“抱歉，我有点语无伦次……但这地方对我来说，真的就像是天堂。”

徐辰笑了笑，“习惯就好，以后大家就是同事了。”

这时，走廊另一侧传来脚步声。

陶哲轩拿着一台笔记本电脑走了过来，看到两人，打了个招呼。

“徐教授，你到了。”

“刚到。“徐辰抬了抬下巴，“正准备找你。”

“聊中心下一步的方向？”

“对。微信里说的那件事。”

陶哲轩看了一眼理查德，笑道：“理查德也一起来吧。他最近给我们提供了很多很有价值的案例，尤其是AI提示设计和错误模式分析方面。他在A社积累的经验，比我们想象中更有用。”

理查德立刻有些局促地摆了摆手，“陶教授您太过誉了，那只是一些在工业界碰壁的失败教训罢了。”

徐辰拍了拍他的肩膀，“别这么说，在数学AI这块，失败案例有时候比成功案例更值钱。走吧，一起聊聊。”

……

三人进了一间小会议室。

会议室不大，墙上是一整块电子白板，桌面中央摆着一套可以实时调用本地数学模型的终端。

徐辰坐下后，开门见山地说道：

“我希望近期内部能搞个分享会。不是那种务虚的讲座，而是实战交流。大家得提前适应AI这个新工具，不能等时代变了还在坚持手搓。”

陶哲轩点了点头。

“我同意。事实上，最近数学界已经出现这种趋势了。AI辅助证明的新闻越来越多，虽然其中不少还只是低维度问题，或者形式化验证层面的突破，但方向已经非常清楚。”

“我最近在整理一个框架：数学AI的作用不应该只被理解为证明生成器。更准确地说，它应该是一个'假设空间探索器'。“

“它可以同时展开大量可能路径，帮助数学家发现哪条路有结构、哪条路只是幻觉。”

徐辰点头。

“证明会变得越来越不稀缺，但定理的发现依然稀缺。”

“对。”陶哲轩说道，“提出问题、判断问题的重要性、决定某个猜想是否值得投入几年时间，这些能力短期内仍然是人类数学家的主场。”

理查德在旁边补充道：“还有提示设计。很多数学家低估了这一点。对普通大模型来说，rot只是输入；但对数学AI来说，rot本身就像选择坐标系。好的坐标系会让问题结构显现出来，坏的坐标系会让模型在错误的方向上跑很远。”

徐辰看了他一眼，笑道：“这个比喻不错。”

理查德有点不好意思地低头笑了笑。

陶哲轩继续说道：“内部讨论之后，我建议可以再组织一次国际线上研讨会。数学AI的方法和范式本来就很难保密。它不是某个具体定理，也不是某段代码，而是基于新工具自然演化出来的新形态。与其等别人几年后摸索出来，不如我们主动把讨论中心放在这里。”

“这样，全球最有价值的信息流，也会向CIAS聚集。”

徐辰眼神微微一亮。

这就是他喜欢和陶哲轩讨论问题的原因。

陶哲轩不只是会做题。

他对学术生态的理解也非常强。

数学AI这东西，越多人尝试，就越容易暴露问题，也越容易找到真正有效的方法。如果CIAS能成为最早组织这类范式讨论的中心，那么未来几年，数学AI应该怎么用这件事，很可能就会由这里定义。

这可比单纯憋几篇论文要值钱得多。

“可以。”徐辰点头，“内部先做一场，之后做国际研讨会。你来牵头，Richard负责技术案例和AI交互方法，我这边配合讲一些NS证明中的经验。”

理查德立刻坐直了身体。“我一定会非常用心准备的！”

那种表情，像极了刚入职的新人突然被老板点名参与核心项目，既紧张又兴奋。

……