个。
……
与此同时，未名研究所李东的公寓里。
李东正坐在床边，看着面前的机器人在那儿屈膝，蹬地，甚至还在空中来了一个後空翻。
“砰！”
那声音震东的床都跟着动了一动
李东先看了看地板，随後才看向面前的机器人。
此时这个机器人已经不能叫裕树 4，虽然样子还是老样子，但里面的控制硬件已经换了。
机器人还在兴奋地转动着手腕，扬声器里传出了小黑的声音。
“主人怎麽样啊？虽然可重构神经形态阵列载板还没有完全达到我的要求，但这个试验板已经比之前好太多了。”
这一次计算机学部做出来的载板是简化版本。
因为完整的方案要求异步事件总线，要同时传递大规模阵列产生的事件。
哪怕有小黑给出的设计文件，计算机学部现在也没有办法完全解决硬件中的传输问题。
所以他们先是缩小了阵列规模，同时限制了进入总线事件的数量。
这样虽然不能够达到完整版的全部能力，但也基本能够做到身体运动的及时处理了。
李东看着小黑在那兴奋无比的样子，皱起了眉头。
：
小黑的摄像头对着他的脸看了两秒，然後问道。
“主人，有什麽不对吗？”
“我在想……”
“你现在应该可以给我做饭了吧？”
小黑：？？？
房间里突然安静了下来，随後机器人委屈的朝李东扑来，还抬起那两只小手要捶他胸口的样子。
李东吓都白了，一个侧身闪开，机器人砰的一声扑到了床上。
“主人，你太过分了！”
“我说错了吗？你现在会走路、会说话，还能拿东西，那做点饭怎麽了？”
就在两人打闹的时候，李东的手机响了起来。
李东这才瞪了一眼机器人，然後拿起手机看了一眼。
是田钢打来的。
“喂，田老师。”
“李东，出大事了！”
“纳维-斯托克斯方程被人工智能给证明了。”
“pt那边用了 88个小时把 n方程的有限时间给证明了出来。”
“lan那边的形式化验证也已经跑过了。”
纳维-斯托克斯方程描述的是粘性流体的运动。
这一次人工智能构造了一种带光滑外力的三维不可压缩流，让原本静止的流体在有限时间内出现速度无界增长，而动能仍然保持有界。
这确实证明了千禧年问题所列出的一类光滑性失效的情况。
但无外力情况下的一般问题还没有全部解决。
李东此时也皱起了眉头。
前些天，他还在想人工智能的事情。
他总担心香农那边的人工智能好像跑到他这边来了，现在又出了这麽一件事。
要知道，之前克劳个研究模型版本，已经把黎曼 zta函数临界线上零点比例的下界推到了 67.2%，虽然还没有周牧的 75%那麽多，但已经足够震撼了。
：
不过这种震撼和现在人工智能证明 n方程相比，那还差的有点远毕竟把黎曼 zta函数临界线上的零点比例下界推到 99.9999%，也证明不了黎曼猜想。
而这一次，人工智能是真的把一个千禧年难题证了出来，这简直就是破天荒。
虽然 n方程，李东早就可以做了、
当年他在他在给华轩做气膜腔的流场的时候，曾经用自守表示的谱分解构造出了一组完
-->>(第6/10页)（本章未完，请点击下一页继续阅读）