学霸的模拟器系统 第476节

　　“它现在预测晶体结构和合金性质，已经有了点准头，比瞎猜强多了。”

　　“但是？”

　　林允宁听出了话外音。

　　“但是它还可以变得更强。”

　　埃琳娜抓了抓乱糟糟的头发，“我手头的数据太少了。材料学发展了上百年，有几百万篇文献躺在数据库里。

　　“那些前人积累的配方、相图、失败的实验记录……我想把它们全喂给AI，让它学会人类所有的材料学知识。”

　　林允宁看着兴奋的女疯子，沉默了几秒。

　　“埃琳娜，想法很好。”

　　他放下咖啡杯，语气冷静，“但目前还做不到。”

　　“为什么？！”

　　埃琳娜瞪大了眼睛，“你和克莱尔的那个新的显卡集群不是刚上线吗？”

　　“现在的算力还远远不够，而且，目前最大的问题是格式。”

　　林允宁伸出手指，隔空点了点屏幕，“那些50年代、60年代的老文献，全是扫描的图片。有些甚至就是手写的笔记。”

　　埃琳娜愣了一下，点了点头：“即使是比较新的文献，也有大量的图片，图表，复杂的化学式、晶体结构图，还有那些乱七八糟的希腊字母上下标。这些都很难直接转化为矢量，用来训练模型。”

　　林允宁叹了口气，“现在的AI，哪怕是我们用了ResNet，它的视觉识别能力也还没到那个份上。

　　“如果我们强行喂进去，只会得到一堆垃圾数据。

　　“Garbage in， garbage out（垃圾进，垃圾出）。”

　　埃琳娜的肩膀垮了下来，像个泄了气的皮球。

　　“那怎么办？这些可是宝藏啊。”

　　“别急，不能一口吃成个胖子。”

　　林允宁想了想，“你的想法是好的。

　　“可以让克莱尔写个爬虫，去抓取最近三四年发表的、有标准电子版格式（XML或HTML）的材料学论文。

　　“先让AI学会‘规范’的化学语言。等它底子打好了，我们再想办法攻克OCR（光学字符识别）这个难关，去啃那些老骨头。”

　　他看向克莱尔，“这个任务归你了。别总想着八卦老板，先帮埃琳娜把爬虫好。年底我放你假，随便出去玩。”

　　克莱尔翻了个白眼，比了个OK的手势。

　　埃琳娜叹了口气，虽然不甘心，但也知道这是目前的极限。

　　“好吧。听你的。不过你得快点回来，泰坦合金的二代配方，我有点新想法，需要你那个AI脑子帮我算算。”

　　“后天见。”

　　视频挂断。

　　屏幕黑了下来，映出林允宁略显疲惫的脸。

　　他合上电脑，走到窗前。

　　雨停了。

　　布雷沃河谷的夜空难得地露出了一角星空。

　　……

　　第二天上午。

　　林允宁收拾好了行李。

　　其实也没什么可收拾的，格罗滕迪克给沈知夏那个牛皮纸袋里的手稿已经印在了脑子里，原本则被他“处理”掉了。

　　他来到IHES的主楼，准备去办离职手续。

　　刚出公寓门，就看到一个高大的身影正站在河边的白杨树下。

　　爱德华·威滕。

　　他穿着一件深色的风衣，戴着那顶标志性的宽檐帽，手里拿着一根树枝，正对着河水发呆。

　　听到脚步声，威滕转过身。

　　“听说你要走了？”

　　“是的，芝加哥那边还有一堆烂摊子等着我。”林允宁走到他身边。

　　“我也要走了。”

　　威滕把手里的树枝扔进河里，“真可惜，本来我还想邀请你去普林斯顿住一段时间。戴维（格罗斯）对你的‘时空即纠错’的构想很感兴趣。”

　　“以后会有机会的。”

　　两人沿着伊维特河慢慢走着。

　　河水浑浊，枯叶在水面上打着旋儿。

　　“林，昨天你的报告，让我想了一晚上。”

　　威滕双手插在风衣口袋里，步伐很慢，“你用Topos理论解决了朗兰兹互反猜想，这在数学上是完美的。

　　“但在物理上，你构造的那个‘微局域层（Microlocal Sheaf）’，它在奇点附近的行为，让我想到了流体力学。”

　　林允宁眉毛一挑。

　　和大师聊天就是这样，不需要铺垫，直接切入本质。

　　“纳维-斯托克斯（Navier-Stokes）方程。”林允宁吐出这个词。

　　“没错。”

　　威滕停下脚步，指着河水中一个正在溃散的小涡旋，“你看这个涡旋。

　　“在宏观上，它是平滑的流体。但在微观上，当雷诺数趋向无穷大时，能量级联会导致涡旋破碎。

　　“数学家们想证明NS方程的解总是光滑的，或者是有限时间内爆破。这和霍奇猜想（Hodge Conjecture）其实是一个硬币的两面。”

　　林允宁看着那个涡旋。

　　一片枯叶被卷了进去。

　　叶子随着水流转动，但它的叶脉结构（拓扑性质）决定了它在旋转中受力的分布。

　　“叶子随波逐流，这是动力学，是NS方程。”

　　林允宁轻声说道，“但它怎么旋转，怎么通过那个奇点，是由它的拓扑结构决定的，这是霍奇理论。

　　“如果我们能像处理朗兰兹纲领一样，找到一个合适的Topos……”

　　“……那么流体力学的湍流问题，和代数几何的霍奇循环问题，也许就能在那个空间里统一起来。”

　　威滕接上了他的话。

　　默契得像是合作多年的老友。

　　两人的目光在空中交汇。

　　那是两代顶尖学者的共鸣。

　　没有公式，没有推导，但在这一瞬间，他们都看到了同一幅图景。

　　“这很难。”

　　威滕叹了口气，“也许比朗兰兹纲领还要难。这需要重新定义什么是‘空间’，什么是‘流体’。”

　　“是啊。”

　　林允宁捡起脚边的一块鹅卵石，用力扔向河心。

　　“咚”的一声。

　　水花溅起，打破了水面的平静。

　　“会有办法的，爱德华。”

　　林允宁拍了拍手上的土，转头看着这位物理学界的教皇，脸上露出了灿烂的笑容。

　　“我在想，我的非对易空间，和非对易流体理论，也许是找到答案的方向。”

　　威滕愣了一下，随即也笑了起来。

　　那是一种看到后继有人的欣慰。

　　“去吧，林。”

　　威滕伸出手，拍了拍林允宁的肩膀，“回到芝加哥去，回到那个充满了烟火气和噪声的世界里去。

　　“这里太安静了，安静得只适合思考，不适合战斗。”

　　老人伸出手，“祝你好运，林。如果有一天你世俗的生活，记得来普林斯顿找我喝茶。”

　　“一定。”

　　两只手握在一起。

　　一只代表着物理学过去的辉煌，一只代表着未来的无限可能。

　　威滕转身离开，黑色的风衣消失在河谷的晨雾中。