陈林和沈妍最终选了一家巴西烤肉店。
说是大餐，其实也没多奢华。
就是学校附近一家口碑不错的平价店。
食材挺好，价格也还行，关键是距离不远。
沈妍点了最高档的自助套餐，然后在点菜平板上点好了烤肉、海鲜和饮料。。
“够吗？“
沈妍看着菜单，有些犹豫地问：
“要不要再加点什么？“
陈林摆了摆手。
“够了够了。“
就在陈林和沈妍一起大快朵颐餐的时候，全球学术界也逐渐热闹了起来。
......
......
大漂亮，新泽西州，普林斯顿高等研究院，早上。
朝阳透过落地窗洒进办公室里，将整个房间染成了一片金黄色。
卡米洛·德·莱利斯正坐在电脑前。
他是普林斯顿高等研究院的数学教授，也是当今世界流体力学数学理论的核心人物之一。
和他的研究搭档拉斯洛·塞凯希迪一起，引入了“凸积分“技术，证明了偏微分方程弱解的不唯一性，解决了物理学中关于Onsager猜想的数学难题。
过去十年间，他们的多项研究成果颠覆了人类对于偏微分方程和流体力学的认知。
但即便如此，莱利斯心中始终有一个梦想，那就是攻克NS方程。
彻底征服这座数学史上的高峰。
为了这个目标，他已经努力了很多年。
此刻，他正在电脑前翻阅着各种资料。
论文、期刊、预印本......
任何可能对研究有帮助的东西，他都不会放过。
就在这时，屏幕右下角弹出了一个小窗口，是arxiv的邮件推送。
莱利斯下意识地想要关掉。
毕竟这种推送每天都有好几十封，大部分都是一些没什么营养的论文。
但他的目光却在不经意间扫到了标题。
然后整个人都愣住了。
【On the Existence of Smooth Solutions to the Incompressible Navier-Stokes Equations in Bounded Domains with Smooth Initial Value】
在空间有限以及给定光滑初始值时，不可压缩NS方程的光滑解存在性证明？
莱利斯的瞳孔骤然收缩。
NS方程的证明？
还推进到了这一步？
怎么可能？
是谁？
而且这么重要的成果，为什么会直接发到arxiv上？
带着满腹的疑惑。
莱利斯快速点击了弹窗。
进入了arxiv的页面。
论文的发布者名字映入眼帘。
Lin Chen.
陈林。
这个名字对莱利斯来说有点印象，没花多少时间他就想起来。
那个来自华夏的超级天才，一共只发表了两篇论文，全部都是关于微分流形的，但每一篇都是能让世界震惊的成果。
说起来，那两篇论文虽然主要应用在AI领域，但和莱利斯自己的研究领域也有一些重合。
莱利斯当然也花时间仔细看过。
论文中展现的才华，让他由衷地感到敬佩。
他一直很想认识这位华夏的年轻数学家。
可惜上次在燕北举行的世界数学大会，由于同期普林斯顿高等研究院也在举行一个重要的学术会议，莱利斯在会上还有一场关键的演讲，所以错过了和陈林当面交流的机会。
莱利斯事后在网上看到了陈林在大会上震惊世界的现场演算，这让他遗憾了很久。
现在，这位年轻的数学家，居然又搞出了NS方程的阶段性证明！
莱利斯心中涌起一股复杂的情绪。
既有期待，也有几分紧张。
如果这份证明是真的，那对于整个学术界来说，都将是一件大事。
他迫不及待地下载了论文，然后给自己煮了一杯满满的咖啡。
准备认真阅读。
这种级别的论文，不是随便翻翻就能看懂的。
需要全神贯注，逐字逐句地推敲。
办公室里安静了下来。
只有咖啡机偶尔发出的咕噜声，和莱利斯翻动鼠标滚轮的轻微声响。
他的目光紧紧锁在屏幕上。
一行行公式和推导过程从眼前掠过。
“.从热导率的可压缩Navier-Stokes方程出发......“
莱利斯喃喃自语着。
手指不自觉地敲击着桌面。
“......利用以函数为系数的谐波方程对壁面流动进行推算......“
“这个想法确实很妙......“
他皱着眉头思索着。
这个思路他其实也考虑过。
但最终放弃了，原因很简单。
s+r分解理论有一个致命的缺陷，从1逼近0的连续性断裂问题。
这个问题不仅他解决不了，与他交流过的其他顶尖数学家也同样束手无策。
大家一致认为，这条路是走不通的。
但陈林居然在论文中使用了这种方法？
莱利斯心中涌起强烈的好奇。
他想知道，陈林到底是怎么解决这个问题的。
继续往下看。
很快，他就找到了答案。
“.通过在傅立叶空间中逼近傅立叶函数......“
“.再通过函数进行逼近......“
“.然后转换成描述动量p的波函数......“
莱利斯的眼睛越睁越大。
手中的咖啡杯悬在半空中，忘记了放下。
他继续念叨着。
声音越来越激动：
“......再利用特殊函数进行补偿......“
“这样就完全避开了s+r分解理论中无法从1逼近0的致命缺陷！“
“妙啊！“
莱利斯猛地一拍桌子。
咖啡从杯中溅出了几滴。
落在了桌面上。
但他完全没有在意。
“太妙了！“
他的声音都有些发颤：
“这个想法简直是神来之笔！“
“将物理现象和数学推导完美结合！“
“这是一条全新的道路！“
莱利斯激动地站了起来。
在办公室里来回踱步。
他的脑海中，各种思绪如潮水般涌来。
这篇论文中的方法，彻底颠覆了他之前的认知。
原来NS方程还可以这样攻克！
从物理现象入手，寻找数学上的突破口。
这种思路，他之前竟然从未想到过。
莱利斯停下脚步。
重新坐回电脑前。
继续阅读后面的内容。
他需要把整篇论文都消化透。
不放过任何一个细节。
时间一分一秒地过去。
窗外的夕阳早已落山。
办公室里只剩下电脑屏幕的光芒。
莱利斯丝毫没有察觉到时间的流逝。
他完全沉浸在了论文的世界里。
终于，在不知道过了多久之后。
他读完了最后一页，长长地舒了一口气。
靠在椅背上，眼神复杂。
这篇论文，确实是精彩绝伦。
思路新颖，推导严谨。
尽管有些地方的数据和应用场景被刻意模糊化处理了。
让验证工作变得困难。
但核心的数学逻辑是清晰的，是站得住脚的。
莱利斯不得不承认。
陈林的这份证明。
已经完成了NS方程最困难的一大部分。
剩下的工作，从理论上来说已经没有那么复杂了。
想到这里。