第249章 舒尔茨的顿悟

“内燃机燃烧效率？”

教研室外的走廊上，陈辉了解到了陈灵儿正在做的课题。

说起来，跟他还有些关系。

原本河北的一家内燃机公司赞助了陈灵儿他们实验室一个项目，用于研究内燃机效率改进。

但随着氧化镓的横空出世，内燃机俨然一副要退出历史舞台的样子，那家企业也暂停了打款，教研室自然也准备暂停这个项目。

不过这个项目一直是陈灵儿在负责，已经研究了一年多的她准备继续研究下去，她的想法很简单，即便内燃机已经要退出历史舞台，但数学方法永远有价值。

并且，即便如今电池有大突破，但在一些极端环境，内燃机依旧有巨大的应用价值，比如极端低温环境，电池会出现容量衰减，甚至彻底失活，比如航空航天，除非电池本身材料再次出现重大突破，它的能量密度依旧要逊色内燃机，短时间内，内燃机不可能完全消失。

内燃机燃烧效率的研究，是有价值的！

陈辉点头，他认同陈灵儿的想法，短时间内，内燃机不可能彻底被替代，电池还有很长的路要走。

“你现在遇到了什么问题，我可以帮上忙吗？”

尤其是陈灵儿研究的还是NS方程在内燃机中的应用，这就让陈辉更感兴趣了。

同样是NS方程，数学上的证明与工程应用并不是一回事，通过数值求解NS方程，工程师能对缸内湍流、燃料喷雾、混合气形成、化学反应等关键过程进行高精度模拟，从而指导燃烧系统设计。

这种数值求解通常是近似解，难度当然会低很多。

然而，这一过程也面临计算复杂度高、模型简化误差、多物理场耦合等挑战，也并没有那么简单。

陈灵儿眼前一亮，“在求解完整NS方程+详细化学反应机理时，需要10^6量级以上的网格，单工况仿真耗时数周，全循环仿真需百万时间步，即便简化机理仍需求解千万级变量……”

她还不知道陈辉完成了纳维斯托克斯方程的证明，但她知道以陈辉如今的实力，至少能给她提出些建设性的建议。

“嗯。”

陈辉轻轻点头，这也会是他研究约束等离子体时会遇到的问题，需要通过NS方程模拟涡流。

“我需要具体的数据。”

陈灵儿教研室中的同学们还在激动之中，很快就看到偶像陈神去而复返，这次直接跟着陈灵儿进入了教研室中。

……

加州大学洛杉矶分校，

陶哲轩面带微笑的走在校园中，和善的回应跟他打招呼的同学。

虽然他从小在西方长大，但刻在骨子里的华夏美德却在他身上展露无疑。

功成名就的他身上有一种其他数学家不具备的松弛感，他不用于时间赛跑，其他数学家或许急于寻求突破和成果，但他只是在数学的后花园中肆意玩耍，如果能够有所收获，那当然是巨大的乐趣，若是没有收获，那也无妨，玩耍的过程本身就能给他带来巨大的乐趣。

“陶，我想我们快要成功了！”

刚走进实验室，手下博士生伦纳德露出灿烂的笑容。

陶哲轩也不在意，这些西方人就是这样，有时候自信得让人感觉他们是个傻子，但真做起事来，这样的心态反而能有意想不到的收获，他已经习惯了。

最近他们正在进行的是一个叫等式理论计划的研究项目，这是陶哲轩自己提出的项目，旨在探索代数领域中原群等式之间的逻辑关系，他大胆的开创了人类数学家与AI协作的新型研究范式。

通过分析4694个原群等式之间的2202942个逻辑蕴含关系，建立完整的数学结构图谱，如果使用传统方法，至少需要数十年才能完成，但通过人机协作，他们只用了57天！

目前这个成果已经进入论文撰写阶段，陶哲轩也很开心，他的成功只是他个人的一小步，却是人类的一大步。

这次成功，验证了去中心化数学研究的可行性，为复杂数学问题提供可扩展解决方案，可以预见，未来一段时间，人类数学家结合人工智能将会做出一大批令人震撼的成果。

来到自己的位置，打开电脑，陶哲轩打开邮箱，这是他的工作习惯，每次开始工作前，先将邮箱中的事务处理一遍。

至于撰写论文的工作，自然轮

不到他去做。

按时间从早到晚排列收件箱，看到陈辉给自己的回信，陶哲轩洒然一笑，他自己年轻时也经常陷入这种状态，不理会外界任何事情，自然能理解陈辉之前两个月都没有回自己邮件。

想了想，陶哲轩将自己这些天的成果在邮件中简单描述一番，回复了陈辉的邮件。

点开最后一封邮件，陶哲轩发现竟然是一份审稿邀请。

这一次并不是某个期刊杂志的审稿邀请，而是国际数学联盟发来的邀请。

“纳维斯托克斯方程证明？”

陶哲轩咂咂嘴，如果不是发件人的确是国际数学联盟，他根本不会点开多看一眼。

“陈辉？”

然而，当他点开附件，看到这篇论文的作者时，他的神色顿时变得严肃起来。

结合刚才陈辉回复他的邮件。

所以，他这几个月就是在研究纳维斯托克斯方程？

并且还完成了证明？

陶哲轩没有急着审稿，而是将论文下载下来，打印出来，这才深吸一口气，全身心投入到这篇论文之中。

“将物理时空嵌入精心构造的四维复流形，其上的凯勒形式巧妙融合了时空度量与涡度耗散。”

(R3×[0，T])X，with

Kahler

form

K∣R3×[0，T]=dx∧dy∧dz∧dt+νdω∧dω

“妙啊！”

“妙啊！”

看着这个式子，陶哲轩赞叹不已。

在证明的边界满足强拟凸性后，-Neumann算子这把复几何的神剑，终于爆发出其无与伦比的威力，关键常数C与雷诺数无关，意味着奇点邻域的正则性牢不可破！

陶哲轩仔细阅读证明过程，发现陈辉巧妙的引入了奇流熵单调性公式，化用为压制非线性项发散的终极盾牌。

这是当年邱成梧老爷子的成果。

他早就知道陈辉算是邱成梧的徒孙，也只有邱老亲自指导，才能如此巧妙的运用这个成果。

Energy

Dissipation

Rate≤Λ∣c1(V)∣

在这篇论文中，陈辉构造了以为底空间、以涡度相空间信息为纤维的非交换纤维丛。

其第一陈类c1(V)如同高悬的达摩克利斯之剑，以绝对的上界姿态，冷酷而精确地钳制住了涡管湮灭时最狂暴、最不可预测的能量耗散！

拓扑的“骨”与复几何的“魂”，在陈类的数值上完成了终极统一。

当看完这篇论文，陶哲轩浑身大汗淋漓，有种炎热的夏天去室外打了一场激烈的篮球比赛，汗水湿透全身后回到空调屋里的爽快感。

不过很快，他又有些沮丧。

在陈辉这个成果面前，他的等式理论计划就显得黯然失色了。

他这辈子都很聪明，很喜欢寻找一些捷径，这让他轻松的做出让全世界99%的数学家都难望项背的成果。

比如这一次对人工智能在数学证明上的运用，又何尝不是一次捷径的探索。

但现在，他忽然有些迷茫。

他这样做到底是对是错？

很多年前就有人跟他说过，他在浪费自己的天赋，如果他能够专注在某一个问题上，以他的天赋，他将会取得惊人的成就。

但那时年轻气盛的他不以为然，这些年他也从没有后悔过，因为他已经在自己选择的道路上做出了惊人的成果，成功者是不会反思自己会不会错的。

我都成功了，你还说我错了？

但现在，看着眼前这篇论文，看着陈辉的名字，他忽然有些迟疑。

或许，如果当年自己选择了另一条道路，会不会，自己也能跟现在的陈辉一样？

不过很快他就从迷茫中清醒过来。

他现在已经五十多岁了，早已不是当年的少年，早已没有回头路了。

苦笑一声，双手放在键盘上，回复国际数学联盟邮件，给出了自己的审稿意见。

他也很快恢复情绪，拿起手机，作为最喜欢玩社交平台的大数学家，他当即在社交平台上发布了一条动态——恭喜辉完成NS方程证明，完美的证明过程，叹为观止！

五十知天命。

到了他这个年纪，早已与自己和解，不会轻易陷入内耗。

【卧槽.纳维-斯托克斯方程被解决了？！陈辉这是随手扔了个王炸啊！陶哲轩还亲自盖章认证，数学史要改写了！】

【研究了五年NS方程的我：这次可别再像2014年那样‘差一点’了……不过既然陶神说没问题，我先小激动一下！疯狂刷新arXiv】

【有意思，五角大楼刚解密UFO文件，就冒出个‘无名之辈’解决了NS方程？巧合？另外同行评审呢？？】

【陈氏证明→抗量子区块链→速买$数学币！】

【应用数学家：‘这将改变工程学！’纯粹数学家：‘但够优雅吗？’陈辉：甩出300页满是PDE的PDF】

【克雷研究所没官宣之前，我的百万美元香槟绝不开封，还记得当年那个证明庞加莱猜想后消失的毛子吗？】

【楼上的别等了，陈神已经领过克雷研究所大奖了】

【一年领一次克雷研究所大奖，想想都刺激】

陶哲轩的动态在网上引起了轩然大波，华夏虽然内外网隔离，依旧有不少搭梯子的网友在外面冲浪，跟西方网友对线一番后，果断将这个消息搬运到了国内。

这个消息还在国内发酵时，就已经在西方学术界掀起了轩然大波。

舒尔茨刚刚完成实验走出实验室，就从学生口中得知了这个消息，得到这突如其来的消息，他嘴角微张，眼中闪过一丝难以置信的光芒，整个人僵在了原地。

他最近在高温超导上突飞猛进，继上次的突破后，他们已经再次发现了性能更好的，适合工业化的超导材料，接连的突破让他充满了斗志。

陈辉对NS方程的证明就像是当头棒喝，让沉浸在接连突破之中的他幡然醒悟。

材料预测模型的关键难点早已解决，后续的突破是早就注定了的，他们不过是在消化模型突破带来的红利罢了。

他这些天做的工作不过是数据的积累和模型调整，这样的工作，让他的学生来做就已经能完全胜任了，怪不得陈辉在发表论文之后就不再关注着方面的研究。

他却被一个个突破迷晕了眼睛，白白浪费大量时间。

“穆勒，接下来的实验和优化工作就交给你了。”

舒尔茨眼神恢复清明，看向自己这个学生，“遇到解决不了的问题再来找我。”

他要去解决更加艰深的问题！

“哦，对了，把陈教授的论文打印一份给我。”

舒尔茨吩咐一句，快步往食堂走去，他还没吃午饭。

麻萨诸塞州剑桥市，

克雷研究所总部，柏顿克雷看着陶哲轩的推特，与旁边的妻子面面相觑。

几个月前他们才给陈辉办法了克雷研究所大奖，现在就又证明了另一道千禧年难题？

这是来搞批发来了？

“天才总是不能以常理度之的。”

柏顿妻子轻叹一声，“这个消息是国际数学联盟放出来的，想必不会有假。”

“再等等，让子弹飞一会儿吧。”

如果是一年前，得知这个消息，柏顿必定会第一时间发声，那时候的克雷研究所迫切的需要一个千禧年证明来提振士气。

但现在，他觉得还是让国际数学界的同行们再验证一番再说。

普林斯顿，费弗曼拿着打印出来的论文，他还没看，但已经有预感，陈辉真的完成了证明。

当年他在法国公学院宣读NS方程作为克雷研究所大奖难题时，也没想过能够在自己有生之年看到完整的证明。

那个华夏小子，就是奇迹的创造者！

照这个趋势，剩下的几个千禧年难题，只要那个家伙愿意，解决它们恐怕也只是迟早的事情？

费弗曼不清楚，但他知道，这个家伙绝对是能够媲美高斯、欧拉般的绝世天才存在。

这样的人物，就应该来普林斯顿！

爱德华威腾已经看完陈辉的证明，他找不到破绽，甚至已经被陈辉的证明折服。

作为一位从历史学家半路转理论物理，最后拿到数学界皇冠菲尔兹奖的科研工作者，即便是在菲尔兹奖、诺贝尔奖扎堆的普林斯顿，威腾向来是自觉蔑视一切充满优越感的，但那个华夏小家伙，还是让他自愧不如。

两年时间，完成两个千禧年难题的证明，这样的事情，就算是威腾自己，也想都不敢想。