第622章研究院的后续工作一数学
第622章研究院的后续工作一数学(第3/4页)
次……但这地方对我来说，真的就像是天堂。」
徐辰笑了笑，「习惯就好，以后大家就是同事了。」
这时，走廊另一侧传来脚步声。
陶哲轩拿着一台笔记本电脑走了过来，看到两人，打了个招呼。
「徐教授，你到了。」
「刚到。「徐辰抬了抬下巴，「正准备找你。」
「聊中心下一步的方向？」
「对。微信里说的那件事。」
陶哲轩看了一眼理察，笑道：「理察也一起来吧。他最近给我们提供了很多很有价值的案例，尤其是ai提示设计和错误模式分析方面。他在a社积累的经验，比我们想像中更有用。」
理察立刻有些局促地摆了摆手，「陶教授您太过誉了，那只是一些在工业界碰壁的失败教训罢了。」
徐辰拍了拍他的肩膀，「别这么说，在数学ai这块，失败案例有时候比成功案例更值钱。走吧，一起聊聊。」
……
三人进了一间小会议室。
会议室不大，墙上是一整块电子白板，桌面中央摆着一套可以实时调用本地数学模型的终端。
徐辰坐下后，开门见山地说道：
「我希望近期内部能搞个分享会。不是那种务虚的讲座，而是实战交流。大家得提前适应ai这个新工具，不能等时代变了还在坚持手搓。」
陶哲轩点了点头。
「我同意。事实上，最近数学界已经出现这种趋势了。ai辅助证明的新闻越来越多，虽然其中不少还只是低维度问题，或者形式化验证层面的突破，但方向已经非常清楚。」
「我最近在整理一个框架：数学ai的作用不应该只被理解为证明生成器。更准确地说，它应该是一个'假设空间探索器'。「
「它可以同时展开大量可能路径，帮助数学家发现哪条路有结构丶哪条路只是幻觉。」
徐辰点头。
「证明会变得越来越不稀缺，但定理的发现依然稀缺。」
「对。」陶哲轩说道，「提出问题丶判断问题的重要性丶决定某个猜想是否值得投入几年时间，这些能力短期内仍然是人类数学家的主场。」
理察在旁边补充道：「还有提示设计。很多数学家低估了这一点。对普通大模型来说，prompt只是输入；但对数学ai来说，prompt本身就像选择坐标系。好的坐标系会让问题结构显现出来，坏的坐标系会让模型在错误的方向上跑很远。」
徐辰看了他一眼，笑道：「这个比喻不错。」
理察有点不好意思地低头笑了笑。
陶哲轩继续说道：「内部讨论之后，我建议可以再组织一次国际线上研讨会。数学ai的方法和范式本来就很难保密。它不是某个具体定理，也不是某段代码，而是基于新
（本章未完，请点击下一页继续阅读）