个收缩的背景漩涡出发，a在其中安排了震荡扰动，然後利用这些扰动产生的平均动量通量，补足了背景漩涡收缩时间的动量平衡。
最後再配合构造出的光滑外力，推动出了流场走向有限时间的爆破。
就在李东读这篇论文的时候，网上已经因为这件事炸开了锅。
营销号纷纷上场。
【88小时，a干掉了人类 90年没解开的数学难题，数学家集体失业倒计时开始。】
【100万美元的奖金要被 a领走了，克雷研究所连夜开会。】
当然也有科普博主相对理性一点。
【a证明的不是完整的 n问题，大家先别着急说数学完了。】
而这些视频的评论区，网友也是说出了自己的看法。
【以後数学家可能只能存在最顶尖的那一批了，他们负责提出猜想，然後交给 a来解决，剩下的基层数学家做好自己的验证工作吧。】
【楼上说的对，数学家这个职业以後就是 a的审稿人。】
当然，也有一些网友其实比较理智。
【现在还没定呢，验证都还没验证完，说不定是错的呢。】
【就是，先等等吧论文才刚出来，人工智能有时候会把近似的概念弄混，也会漏掉条件，形式化後的命题是不是原来的那个命题？这也需要有人去核对。】
【对，别最後证明了一个更弱的结论，这才是真正的闹笑话了。】
就在这个时候，一条消息从柏林传了出来。
国际数学联盟的执行委员会开了一场紧急的会议，经过表决通过了一份声明。
他们承认，经形式化验证的机器生成的证明，与同行评审的证明具有同等效力。
：
这个声明直接把数学界打默不语。
而此时李东虽然没有去看网上的这些舆论，但他能够想象数学界现在到底是怎麽样的一种悲观。
他现在已经把整篇论文看完了。
怎麽说呢？
人工智能的这个证明过程不算复杂，很直接，可是却算不上有灵性。
它在成千上万条路里试错，最後选出了一条最正确的弯路。
在这条弯路上，人工智能用了科尔比多瓦和马丁内斯佐罗亚这几年在带外力的欧拉方程上做出来的骨架，然後逐层放大涡层。
也用了克雷克和克里米纳尔 1986年在剪切流上创造出的精确波，让一个
…。。