兴奋无比的样子，皱起了眉头。
：
小黑的摄像头对着他的脸看了两秒，然後问道。
“主人，有什麽不对吗？”
“我在想……”
“你现在应该可以给我做饭了吧？”
小黑：？？？
房间里突然安静了下来，随後机器人委屈的朝李东扑来，还抬起那两只小手要捶他胸口的样子。
李东吓都白了，一个侧身闪开，机器人砰的一声扑到了床上。
“主人，你太过分了！”
“我说错了吗？你现在会走路、会说话，还能拿东西，那做点饭怎麽了？”
就在两人打闹的时候，李东的手机响了起来。
李东这才瞪了一眼机器人，然後拿起手机看了一眼。
是田钢打来的。
“喂，田老师。”
“李东，出大事了！”
“纳维-斯托克斯方程被人工智能给证明了。”
“pt那边用了 88个小时把 n方程的有限时间给证明了出来。”
“lan那边的形式化验证也已经跑过了。”
纳维-斯托克斯方程描述的是粘性流体的运动。
这一次人工智能构造了一种带光滑外力的三维不可压缩流，让原本静止的流体在有限时间内出现速度无界增长，而动能仍然保持有界。
这确实证明了千禧年问题所列出的一类光滑性失效的情况。
但无外力情况下的一般问题还没有全部解决。
李东此时也皱起了眉头。
前些天，他还在想人工智能的事情。
他总担心香农那边的人工智能好像跑到他这边来了，现在又出了这麽一件事。
要知道，之前克劳个研究模型版本，已经把黎曼 zta函数临界线上零点比例的下界推到了 67.2%，虽然还没有周牧的 75%那麽多，但已经足够震撼了。
：
不过这种震撼和现在人工智能证明 n方程相比，那还差的有点远毕竟把黎曼 zta函数临界线上的零点比例下界推到 99.9999%，也证明不了黎曼猜想。
而这一次，人工智能是真的把一个千禧年难题证了出来，这简直就是破天荒。
虽然 n方程，李东早就可以做了、
当年他在他在给华轩做气膜腔的流场的时候，曾经用自守表示的谱分解构造出了一组完备的低维不变子空间基底。
如果当时他再把三维 n方程在这组基底上展开，高频震荡项就会被正交性整个消掉，而剩下一组低维模态。
再把这组模态的能量估计做闭合，其实就可以一路把 n方程在无外力的情况下的整体正则性给做出来了。
只是当时华轩需要的数值，没必要走到那一步而已。
其次呢，当时李东一切的科研其实都是为了薅群里的羊毛。
群里大佬没有提出相关的问题，他也没想到那边去。
而现在被人工智能做了出来，这可真是捅破了数学界的天。
想到这里，李东说道。
“田老师，你把人工智能的证明过程发一份给我看看呗。”
“好。”
田钢叹了口气，继续说道。
“李东啊说实话，我现在是真的很担心，我们真的还有必要培养数学家吗？”
听到这话，李东也不知道怎麽安慰田钢。
现在的情况特别像当年阿尔法狗出来，围棋界一片哀嚎，甚至有人说围棋完了。
现在估计也有人在说，数学完了，已经不需要数学家了。
所以他只能够顺着田钢的话，随便安慰了两句，便匆匆地挂断了电话。
挂断电话後，他让小黑先在一边玩去，然後打开电脑，准备接收田钢发来的论文。
可刚开电脑，手机又响了，是刘若传打来的。
他的声音有些疲惫。
“李东啊，你说我研究的这些p近霍论的问题，现在还有意义吗？”
现在已经有风声说，霍想好像也被证明了出来，只是还没有放出来完整的证明而已。
李东也尽量地安慰刘若传，10分锺後，他又挂了电话。
：
电话刚一挂断，又响了起来。
这一次是燕大数院的韦东奕。
他三年前刚刚把轴对称情形的 n方程整体正则性证下来，这一次，a直接把他的工作都给抢了。
李东也只能听着，不知道怎麽安慰。
随後，萨纳克、陶哲轩，张益唐，吴宝珠都给李东打了电话，他们都想听听李东的看法，而李东只是说道，我看完论文以後再说吧。
随後，李东就将手机静音放在了旁边，点开了那一份论文。
论文的标题叫做《纳维-斯托克斯方程的有限时间爆破。》
论文的证明从一