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

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

徐辰这几天一直待在学校，这会正好抽出空，决定去一趟雁栖湖的高等研究院。

年前去合肥的事已经和等离子所的徐国成敲定，出发前，他得先把研究院这边的工作交代清楚。

虽然研究院一直以来的定位就是不干涉研究员的方向，但不干涉绝不等于没影响。

在学术界，领军人物的个人偏好，本身就是一种巨大的引力场。像徐辰这样站在世界数学之巅的人，他目光所及之处，自然会被认为是下一片最有可能出成果的肥沃土地。

只要他稍微透露出某个方向很有意思，或者在某次研讨会上多提了一嘴某种方法，底下的青年研究员就会朝那个方向扑过去。

所以，徐辰这次来研究院，除了交代年底前的一些事务外，最重要的就是找刚回华国的陶哲轩聊聊数学AI的问题。

……

自从证明NS方程后，徐辰越来越清楚地意识到一件事。

数学AI会彻底改变数学研究的生态。

但这种改变，并不是以后写证明会更快这么简单。

过去几年，AI对程序员行业的冲击已经非常典型。最开始大家以为它只是自动补全代码，后来发现它可以写脚本、改bug、生成测试、做简单架构，甚至一个人配合AI就能完成过去一个小团队的开发量。

但真正稀缺的东西并没有消失。

架构能力依然稀缺。

判断需求、设计系统边界、决定技术路线、理解复杂业务逻辑，这些东西依然不是靠多写几行代码就能替代的。

数学也是一样。

如果未来AI可以越来越熟练地补全证明、检查推导、生成引理，那么证明这件事本身的稀缺性就会下降。

数学史上每一次工具革命，都会改变什么才算核心能力。

对数表出现后，大量繁琐计算不再需要人手算；解析几何出现后，几何问题可以被代数化；计算机出现后，四色定理这种曾经不可能靠人力穷尽的证明，被机器粗暴推平。

更典型的是蒙特卡洛方法。

1946年，乌拉姆在病床上玩纸牌时突然想到，可以用随机抽样来估计复杂问题的概率。冯·诺依曼意识到这件事的威力后，将它用于曼哈顿计划后续的核物理计算。可如果没有电子计算机，蒙特卡洛方法就只是一个漂亮但几乎无法大规模执行的想法。

工具催生了方法。

1963年，洛伦兹用计算机模拟大气方程，意外发现了后来被称为洛伦兹吸引子的结构。混沌理论由此兴起。那并不是计算机把旧问题算得更快而已，而是它让人类第一次看见了某些此前根本无法感知的数学现象。

所以这一次，数学AI的意义同样不只是加速。

它可能会催生新的提问方式，新的筛选方法，甚至新的科研范式。

徐辰不希望研究院里的这些天才，在学术工业时代的轰鸣声里，还坐在那里坚持手搓螺丝。

手搓当然也有手搓的美感。

但问题是，人类文明不是靠美感赢的。

是靠效率和正确性赢的。

当然，如果能一边高效一边优雅，那就更爽了。

……

人工智能与现代数学交叉探索中心设在研究院主楼东侧的独立区域。

这片办公区刚刚重新装修过不久，走廊里还残留着一点新木材和清洁剂混合的气味。玻璃墙后面是一排排小型讨论室，每间屋子里都配着可以直接联网调用AI算力集群的大屏幕和电子白板。

相比传统数学研究所里那种纸张、粉笔、咖啡杯堆满桌面的复古气质，这里更像是硅谷顶级的互联网公司。

徐辰沿着走廊往里走，正准备找陶哲轩，迎面却碰上了一个陌生的中年白人男性。

对方戴着黑框眼镜，头发有些稀疏，手里还紧紧攥着一个印着研究院logo的马克杯。他抬头看见徐辰的瞬间，整个人明显僵了一下。

随后，那双眼睛里有什么东西涌了上来，像是难以置信，又像是压抑已久的激动。

“徐教授？”

对方的声音带着一点拘谨。

徐辰微微一愣，觉得这张脸有些眼熟，但一时间没对上号，礼貌地问了一句“你是？”

对方似乎看出了徐辰的疑惑，赶紧自我介绍：“我是理查德。真的很感谢您，徐教授！如果不是您的那封邀请信，我可能还在旧金山的破公寓里发愁。我很高兴……不，我非常荣幸能来到华国继续我的数学研究！”

徐辰这才反应过来，原来是理查德。

之前邮件里看过照片，但真人比照片上要精神一些，虽然眼底还有些疲惫，但那种从低谷里突然被人拉出来的灰败感已经淡了很多。

取而代之的，是一种小心翼翼的兴奋。

一个原本以为自已职业生涯已经彻底完蛋的二流中年学者，突然被塞进了世界最顶级的数学梦之队。开心是真的开心，窘迫也是真的窘迫。

本章未完，点击下一页继续阅读。