第599章 正确的弯路（2/2）
现在行业里的分析师已经做出了一个大概的估计，2~3年之内。
2~3年之内，华夏就不需要再进口任何用来发电的能源了。
那5年之内，他们会不会把便宜的电卖到全球去呢？
到时候，元素6还要不要和华夏做生意？
如果不要，那他们现在就可以拒掉这个订单。
如果以后他们要买那些便宜的电，那这个订单就要认真的考虑了。
而且这个订单还是来自未名研究所。
未名研究所的所长李东是谁？
诺贝尔物理学奖、菲尔兹奖、阳燧的总设计师，未名研究所那几样一年进账几百亿的材料，背后全都有他的身影。
科尔比不相信李东会没有参与到这份订单后面的东西。
所以，未名研究所以后要是做出了什么和探测器金刚石相关的新材料呢？
他们元素六敢赌自己能跟上李东的节奏吗？
麦克布莱叹了口气说道。
“说实话，詹姆斯，这两年华夏的气势太猛了，你可能还没注意到。”
“以前华夏每突破一个新的科技壁垒，美利坚那边总会在经济上或者军事上给他们施压。”
“那你看最近美利坚有什么动作吗？”
“制裁的实体企业的名单有任何一点意义吗？”
“甚至他们连军事演习都没有搞了，它们以前可不是这样的。”
：
科尔比看着他，皱着眉问道。
“所以……你的意思是，在装备竞赛这一块，华夏也领先美利坚了？”
麦克布莱摇了摇头说道。
“如果只是领先的话，以美利坚航母和外海的基地数量，他们也不会一点动静都没有。”
“所以我估计，华夏的领先已经断代了。”
听到这话，科尔比又拿起了桌上的那份订单，想了好一会儿才说道。
“开董事会吧。”
当天下午，元素6的董事会同意了承接未名研究所的定制订单。
当这个消息传回美利坚中央情报局的时候。
局长霍华莱斯的杯子又碎了一个。
……
与此同时，未名研究所李东的公寓里。
李东正坐在床边，看着面前的机器人在那儿屈膝，蹬地，甚至还在空中来了一个后空翻。
“砰！”
那声音震东的床都跟着动了一动
李东先看了看地板，随后才看向面前的机器人。
此时这个机器人已经不能叫裕树4，虽然样子还是老样子，但里面的控制硬件已经换了。
机器人还在兴奋地转动着手腕，扬声器里传出了小黑的声音。
“主人怎么样啊？虽然可重构神经形态阵列载板还没有完全达到我的要求，但这个试验板已经比之前好太多了。”
这一次计算机学部做出来的载板是简化版本。
因为完整的方案要求异步事件总线，要同时传递大规模阵列产生的事件。
哪怕有小黑给出的设计文件，计算机学部现在也没有办法完全解决硬件中的传输问题。
所以他们先是缩小了阵列规模，同时限制了进入总线事件的数量。
这样虽然不能够达到完整版的全部能力，但也基本能够做到身体运动的及时处理了。
李东看着小黑在那兴奋无比的样子，皱起了眉头。
：
小黑的摄像头对着他的脸看了两秒，然后问道。
“主人，有什么不对吗？”
“我在想……”
“你现在应该可以给我做饭了吧？”
小黑：？？？
房间里突然安静了下来，随后机器人委屈的朝李东扑来，还抬起那两只小手要捶他胸口的样子。
李东吓都白了，一个侧身闪开，机器人砰的一声扑到了床上。
“主人，你太过分了！”
“我说错了吗？你现在会走路、会说话，还能拿东西，那做点饭怎么了？”
就在两人打闹的时候，李东的手机响了起来。
李东这才瞪了一眼机器人，然后拿起手机看了一眼。
是田钢打来的。
“喂，田老师。”
“李东，出大事了！”
“纳维-斯托克斯方程被人工智能给证明了。”
“pt那边用了88个小时把n方程的有限时间给证明了出来。”
“n那边的形式化验证也已经跑过了。”
纳维-斯托克斯方程描述的是粘性流体的运动。
这一次人工智能构造了一种带光滑外力的三维不可压缩流，让原本静止的流体在有限时间内出现速度无界增长，而动能仍然保持有界。
这确实证明了千禧年问题所列出的一类光滑性失效的情况。
但无外力情况下的一般问题还没有全部解决。
李东此时也皱起了眉头。
前些天，他还在想人工智能的事情。
他总担心香农那边的人工智能好像跑到他这边来了，现在又出了这么一件事。
要知道，之前克劳个研究模型版本，已经把黎曼zta函数临界线上零点比例的下界推到了672，虽然还没有周牧的75那么多，但已经足够震撼了。
：
不过这种震撼和现在人工智能证明n方程相比，那还差的有点远毕竟把黎曼zta函数临界线上的零点比例下界推到999999，也证明不了黎曼猜想。
而这一次，人工智能是真的把一个千禧年难题证了出来，这简直就是破天荒。
虽然n方程，李东早就可以做了、
当年他在他在给华轩做气膜腔的流场的时候，曾经用自守表示的谱分解构造出了一组完备的低维不变子空间基底。
如果当时他再把三维n方程在这组基底上展开，高频震荡项就会被正交性整个消掉，而剩下一组低维模态。
再把这组模态的能量估计做闭合，其实就可以一路把n方程在无外力的情况下的整体正则性给做出来了。
只是当时华轩需要的数值，没必要走到那一步而已。
其次呢，当时李东一切的科研其实都是为了薅群里的羊毛。
群里大佬没有提出相关的问题，他也没想到那边去。
而现在被人工智能做了出来，这可真是捅破了数学界的天。
想到这里，李东说道。
“田老师，你把人工智能的证明过程发一份给我看看呗。”
“好。”
田钢叹了口气，继续说道。
“李东啊说实话，我现在是真的很担心，我们真的还有必要培养数学家吗？”
听到这话，李东也不知道怎么安慰田钢。
现在的情况特别像当年阿尔法狗出来，围棋界一片哀嚎，甚至有人说围棋完了。
现在估计也有人在说，数学完了，已经不需要数学家了。
所以他只能够顺着田钢的话，随便安慰了两句，便匆匆地挂断了电话。
挂断电话后，他让小黑先在一边玩去，然后打开电脑，准备接收田钢发来的论文。
可刚开电脑，手机又响了，是刘若传打来的。
他的声音有些疲惫。
“李东啊，你说我研究的这些p近霍论的问题，现在还有意义吗？”
现在已经有风声说，霍想好像也被证明了出来，只是还没有放出来完整的证明而已。
李东也尽量地安慰刘若传，10分钟后，他又挂了电话。
：
电话刚一挂断，又响了起来。
这一次是燕大数院的韦东奕。
他三年前刚刚把轴对称情形的n方程整体正则性证下来，这一次，a直接把他的工作都给抢了。
李东也只能听着，不知道怎么安慰。
随后，萨纳克、陶哲轩，张益唐，吴宝珠都给李东打了电话，他们都想听听李东的看法，而李东只是说道，我看完论文以后再说吧。
随后，李东就将手机静音放在了旁边，点开了那一份论文。
论文的标题叫做《纳维-斯托克斯方程的有限时间爆破。》
论文的证明从一个收缩的背景漩涡出发，a在其中安排了震荡扰动，然后利用这些扰动产生的平均动量通量，补足了背景漩涡收缩时间的动量平衡。
最后再配合构造出的光滑外力，推动出了流场走向有限时间的爆破。
就在李东读这篇论文的时候，网上已经因为这件事炸开了锅。
营销号纷纷上场。
【88小时，a干掉了人类90年没解开的数学难题，数学家集体失业倒计时开始。】
【100万美元的奖金要被a领走了，克雷研究所连夜开会。】
当然也有科普博主相对理性一点。
【a证明的不是完整的n问题，大家先别着急说数学完了。】
而这些视频的评论区，网友也是说出了自己的看法。
【以后数学家可能只能存在最顶尖的那一批了，他们负责提出猜想，然后交给a来解决，剩下的基层数学家做好自己的验证工作吧。】
【楼上说的对，数学家这个职业以后就是a的审稿人。】
当然，也有一些网友其实比较理智。
【现在还没定呢，验证都还没验证完，说不定是错的呢。】
【就是，先等等吧论文才刚出来，人工智能有时候会把近似的概念弄混，也会漏掉条件，形式化后的命题是不是原来的那个命题？这也需要有人去核对。】
【对，别最后证明了一个更弱的结论，这才是真正的闹笑话了。】
就在这个时候，一条消息从柏林传了出来。
国际数学联盟的执行委员会开了一场紧急的会议，经过表决通过了一份声明。
他们承认，经形式化验证的机器生成的证明，与同行评审的证明具有同等效力。
：
这个声明直接把数学界打默不语。
而此时李东虽然没有去看网上的这些舆论，但他能够想象数学界现在到底是怎么样的一种悲观。
他现在已经把整篇论文看完了。
怎么说呢？
人工智能的这个证明过程不算复杂，很直接，可是却算不上有灵性。
它在成千上万条路里试错，最后选出了一条最正确的弯路。
在这条弯路上，人工智能用了科尔比&183;多瓦和马丁&183;内斯佐罗亚这几年在带外力的欧拉方程上做出来的骨架，然后逐层放大涡层。
也用了克雷克和克里&183;米纳尔1986年在剪切流上创造出的精确波，让一个个脉冲从背景的剪切里吸收能量。
还用了利夫希茨和哈梅里1991年的局部不稳定性分析法。
在这些弯路上，这个模型做的相当的漂亮，而且准确。
甚至连李东都找不出他多余的步骤。
而且这个模型还喜欢跳步，还好李东对跳步也有研究，不然一般的数学家还真不一定能看懂他的证明。
可即便如此，李东仍然愿意称这个大模型是在走一条正确的弯路。
最后李东想起了田钢电话里的叹息，想起了刘若传的无奈，以及各个同行的担心，他最后笑着摇了摇头。
“就这？”
……
此时，柏林国际数学联盟秘书处的会议室里。
来自40多个国家的60多位数学家正于此。
大家刚刚表决通过了那份声明。
投赞成票的人不多，可是投反对票的一个都没有。
因为没办法，大家虽然不愿意承认，可是谁也拿不出反对的理由来。
陶哲轩看着打印出来的声明，低声地说道。
“n方程大概只是第一个吧。”
坐在他旁边的舒尔茨点了点头。
“当然，估计霍想也撑不了多久了。”
：
此时，他们旁边一个30岁出头，来自阿根廷的年轻数学家忍不住问道。
“两位教授，那你们觉后数学家在数学里应该是个什么位置？咱们真的就只能为a提供情绪价值了吗？”
“不知道啊，走一步看一步吧。”
会议室里的人三三两两地讨论着自己存在的价值，而坐在主位的联盟主席乌尔丽克&183;蒂尔曼看了看手表，就准备宣布散会了。
就在这时，秘书处的一个工作人员急急忙忙地推门跑了进来。
他叫卢卡费雷迪，今年29岁，也是一个数学家。
当然，是网上说的会最先被a代替的那一类数学家。
蒂尔曼此时看着他问道。
“费雷迪，发生了什么事吗？”
这几天一直沮丧着脸的费雷迪，突然露出了一个灿烂的笑容。
“各位，你们看一下pj的主页。”
会场的所有数学家听到他这话，都疑惑地拿出了手机，打开了pj的主页。
然后他们就看到了主页上的一个帖子。
标题是——【致全体数学同仁：数学才刚刚开始。】
【作者：李东】
【致全体数学同仁：】
【过去几天，关于人工智能完成n方程相关证明的消息，我想大家都知道。
我也收到了许多朋友的来电，有人惊讶，有人兴奋，也有人认真的在考虑自己正在做的研究是不是已经失去了继续下去的意义。
所以我也跑去看了一下这个论文。
不说，这确实是一项值真对待的成果。
所以……我先对于参与了这项工作的人和a表达祝贺。
但如果由此就能数学家已经可以退出历史的结论，我个人是不赞同的。
这篇论文所使用的概念、建立的估计方法以及选择的构造依据，并不是随着a诞生以后，才来到这个世界上的。
在有这个结论之前，有人已经研究了剪切流中的扰动，也有人追踪过波的增长，有人在不同尺度之间反复的建立联系。
这些工作或许没有登上大众媒体的头条，也没有人宣布他们即将改变整个行业。
：
但正是因为有这些工作，才能让后来者有了可以继续前进的方向
a用88个小时解决了n方程的部分问题。
但是这88个小时里，没有算上他所使用的数学工具被研究出来的时间。
所以我把他走的这条路线称为一条正确的弯路。
正确，是因为他确实达到了目标。
而弯路呢？
站在人工智能的角度上来说，他用的那些数学工具全是弯路。
毕竟他肯定是想以最快的速度来达到目标，而这些工具并不一定能给出最快、最简洁的求解方式。
所以按照他的理解，最正确的路应该是创造一种新的数学工具，直接就能解决n方程。
可他为什么不这样做，而要去走那些弯路呢？
因为他做不到，他发明不了数学工具。
他只能用咱们历代数学先辈们为了解决那些难题而创造出来的工具。
而这些工具往往并不是直接针对这个问题的最终求解而创造的。
他们衍生出了可以用于其他问题的方法，这在人工智能眼里就是弯路。
而数学先辈们走的这些弯路，就是他们最伟大的地方。
大家想想，黎曼猜想为什么伟大？哥赫猜想为什么能让一代一代人投入其中？
难道仅仅是为了去追逐最后的那个结论吗？
大家要知道，研究者在抵达这个结论的中途，创造和改进的数学方法，同样已经成为了数学不可缺少的一部分。
围绕素数加性问题发展的圆法与筛法，被用来解决了更多的数论问题。
黎曼零点与随机矩阵统计之间的联系，也让数论与量子能级的研究产生了统计规律上的关联。
所以大家请把你们的眼光放远一些。
这些弯路让我们今天的物理学家用微分几何来描述时空，用群论来研究量子系统。
而人工智能它不会创造这些弯路，它只会沿着现在有的路去走。
如果咱们现在那些先辈创造的数学工具能够解决世界上所有的难题。
那当然值们庆祝。
：
可假如有一天，现在的工具已经满足不了新出现的问题了呢？
而我们的数学家已经放弃了数学，那我想问一下各位，人工智能它能解决这些新的问题吗？
所以各位同仁，你们是不可能被替代的。
而人工智能的存在，是为了让我们能够把更多的精力投入到尚未理解的问题里。
你们以前完成的研究成果，并没有因为这篇论文的出现而失去任何的价值。
恰恰相反，这篇论文的出现反而证明了你们的价值。
因为这篇论文是依赖你们留下的成果而存在的。
因此，你们不必着急着替自己寻找告别词。
因为你们手里那些没想明白的问题，仍然有值研究的价值。
哦，对了，大家当然也不能埋头苦干，也要学会利用人工智能这个工具，它会为你节省下大量的时间。
所以这里我推荐大家使用未央数学版。
好了，各位别自怨自艾了，继续去完成你们的工作吧。】