兴奋无比的样子，皱起了眉头。
：
小黑的摄像头对着他的脸看了两秒，然後问道。
“主人，有什麽不对吗？”
“我在想……”
“你现在应该可以给我做饭了吧？”
小黑：？？？
房间里突然安静了下来，随後机器人委屈的朝李东扑来，还抬起那两只小手要捶他胸口的样子。
李东吓都白了，一个侧身闪开，机器人砰的一声扑到了床上。
“主人，你太过分了！”
“我说错了吗？你现在会走路、会说话，还能拿东西，那做点饭怎麽了？”
就在两人打闹的时候，李东的手机响了起来。
李东这才瞪了一眼机器人，然後拿起手机看了一眼。
是田钢打来的。
“喂，田老师。”
“李东，出大事了！”
“纳维-斯托克斯方程被人工智能给证明了。”
“pt那边用了 88个小时把 n方程的有限时间给证明了出来。”
“lan那边的形式化验证也已经跑过了。”
纳维-斯托克斯方程描述的是粘性流体的运动。
这一次人工智能构造了一种带光滑外力的三维不可压缩流，让原本静止的流体在有限时间内出现速度无界增长，而动能仍然保持有界。
这确实证明了千禧年问题所列出的一类光滑性失效的情况。
但无外力情况下的一般问题还没有全部解决。
李东此时也皱起了眉头。
前些天，他还在想人工智能的事情。
他总担心香农那边的人工智能好像跑到他这边来了，现在又出了这麽一件事。
要知道，之前克劳个研究模型版本，已经把黎曼 zta函数临界线上零点比例的下界推到了 67.2%，虽然还没有周牧的 75%那麽多，但已经足够震撼了。
：
不过这种震撼和现在人工智能证明 n方程相比，那还差的有点远毕竟把黎曼 zta函数临界线上的零点比例下界推到 99.9999%，也证明不了黎曼猜想。
而这一次，人工智能是真的把一个千禧年难题证了出来，这简直就是破天荒。
虽然 n方程，李东早就可以做了、
当年他在他在给华轩做气膜腔的流场的时候，曾经用自守表示的谱分解构造出了一组完
…。。