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

……

这正是陶哲轩和理查德在徐辰原有数学AI验证体系上的一次关键改良。

徐辰之前用AI辅助解决NS方程时，本质上仍然是“顶级数学家给出主路线，AI负责加速推导与检验”。

那套模式对使用者要求极高。

你得先有能力看见路，AI才能帮你把路修平。然后你要自己判断最终的结论。

而理查德优化后的这一版，因为有Lean4兜底，门槛骤然下降，博士生也能用。

甚至只要一个人具备足够扎实的数学训练和问题意识，就可以借助这套系统，把一个人放大成“能推进前沿的小型团队”。

在Lean已经覆盖的数学领域内，只要这套方法论持续不眠不休地运转下去……

一场真正的数学工业革命，已经来了。

……

“一轮跑出十项，还包括推翻孔涅刚性猜想这种级别的活……”

他转头看向理查德，眼神里带着一丝复杂。

他想起几个月前，理查德刚来研究院的时候，还是一副小心翼翼、生怕自己拖后腿的样子。

现在他算是找到了自己的舒适区了。他或许不是一个天赋异禀的数学家，但他是一个天赋异禀的“数学工具发明家”。

“理查德，”徐辰由衷地感叹道，“就凭这套方法论，你值得拿一座菲尔兹奖。”

理查德在一旁不好意思地搓了搓手，脸上虽然极力克制，但眼角的笑意怎么也藏不住：“菲尔兹奖是不可能了，早就超龄了。”

“那就沃尔夫奖吧。”徐辰接着说，“沃尔夫奖可没年龄限制。”

理查德笑得更灿烂了，数学皇帝钦点的沃尔夫奖，感觉稳了啊。

陶哲轩端起咖啡杯，轻轻碰了一下理查德的马克杯。

“提前恭喜你了，理查德。”

理查德咳了一声，试图保持谦虚。

“还早，还早。”

话是这么说，可他嘴角快压不住了。

……

“对了，陶教授。”徐辰话锋一转，切入了正题，“我手头也有个项目需要用到集群，接下来几天，麻烦给我划20%的算力配额。”

陶哲轩愣了一下：“你要用？不是已经退居二线，准备让AI和年轻人去冲锋陷阵了吗？”

“遇到点有趣的小玩意儿，顺手推一下。”徐辰笑了笑，没细说。

“行。20%没问题。”陶哲轩爽快地答应了，“我让研究中心的博士们最近收一收，反正接下去好几个组都在整理论文，推演任务相对少一些。你需要的话随时调。”

其实以徐辰高等研究院院长的身份，他在算力集群的调用优先级上拥有绝对的最高权限，直接后台强行插队也没人敢说什么。但当初重金把陶哲轩从UCLA挖过来，最大的筹码之一就是许诺了绝对自由的算力支持。既然把摊子交给了人家，徐辰自然愿意给足尊重，要用算力，哪怕是自己的地盘，也得提前打个招呼。

徐辰点点头，转身离开了办公室。

……