我的学习群里全是真大佬 第819章

　　只是当时华轩需要的数值，没必要走到那一步而已。

　　其次呢，当时李东一切的科研其实都是为了薅群里的羊毛。

　　群里大佬没有提出相关的问题，他也没想到那边去。

　　而现在被人工智能做了出来，这可真是捅破了数学界的天。

　　想到这里，李东说道。

　　“田老师，你把人工智能的证明过程发一份给我看看呗。”

　　“好。”

　　田钢叹了口气，继续说道。

　　“李东啊，说实话，我现在是真的很担心，我们真的还有必要培养数学家吗？”

　　听到这话，李东也不知道怎么安慰田钢。

　　现在的情况特别像当年阿尔法狗出来，围棋界一片哀嚎，甚至有人说围棋完了。

　　现在估计也有人在说，数学完了，已经不需要数学家了。

　　所以他只能够顺着田钢的话，随便安慰了两句，便匆匆地挂断了电话。

　　挂断电话后，他让小黑先在一边玩去，然后打开电脑，准备接收田钢发来的论文。

　　可刚开电脑，手机又响了，是刘若传打来的。

　　他的声音有些疲惫。

　　“李东啊，你说我研究的这些P近霍奇理论的问题，现在还有意义吗？”

　　现在已经有风声说，霍奇猜想好像也被证明了出来，只是还没有放出来完整的证明而已。

　　李东也尽量地安慰刘若传，10分钟后，他又挂了电话。

　　电话刚一挂断，又响了起来。

　　这一次是燕大数院的韦东奕。

　　他三年前刚刚把轴对称情形的 NS方程整体正则性证下来，这一次，AI直接把他的工作都给抢了。

　　李东也只能听着，不知道怎么安慰。

　　随后，萨纳克、陶哲轩，张益唐，吴宝珠都给李东打了电话，他们都想听听李东的看法，而李东只是说道我看完论文以后再说吧。

　　随后，李东就将手机静音放在了旁边，点开了那一份论文。

　　论文的标题叫做《纳维-斯托克斯方程的有限时间爆破。》

　　论文的证明从一个收缩的背景漩涡出发，AI在其中安排了震荡扰动，然后利用这些扰动产生的平均动量通量，补足了背景漩涡收缩时间的动量平衡。

　　最后再配合构造出的光滑外力，推动出了流场走向有限时间的爆破。

　　就在李东读这篇论文的时候，网上已经因为这件事炸开了锅。

　　营销号纷纷上场。

　　【88小时，AI干掉了人类 90年没解开的数学难题，数学家集体失业倒计时开始。】

　　【100万美元的奖金要被 AI领走了，克雷研究所连夜开会。】

　　当然也有科普博主相对理性一点。

　　【AI证明的不是完整的 NS问题，大家先别着急说数学完了。】

　　而这些视频的评论区，网友也是说出了自己的看法。

　　【以后数学家可能只能存在最顶尖的那一批了，他们负责提出猜想，然后交给 AI来解决，剩下的基层数学家做好自己的验证工作吧。】

　　【楼上说的对，数学家这个职业以后就是 AI的审稿人。】

　　当然，也有一些网友其实比较理智。

　　【现在还没定呢，验证都还没验证完，说不定是错的呢。】

　　【就是，先等等吧，论文才刚出来，人工智能有时候会把近似的概念弄混，也会漏掉条件，形式化后的命题是不是原来的那个命题？这也需要有人去核对。】

　　【对，别最后证明了一个更弱的结论，这才是真正的闹笑话了。】

　　就在这个时候，一条消息从柏林传了出来。

　　国际数学联盟的执行委员会开了一场紧急的会议，经过表决通过了一份声明。

　　他们承认，经形式化验证的机器生成的证明，与同行评审的证明具有同等效力。

　　这个声明直接把数学界打得沉默不语。

　　而此时李东虽然没有去看网上的这些舆论，但他能够想象数学界现在到底是怎么样的一种悲观。

　　他现在已经把整篇论文看完了。

　　怎么说呢？

　　人工智能的这个证明过程不算复杂，很直接，可是却算不上有灵性。

　　它在成千上万条路里试错，最后选出了一条最正确的弯路。

　　在这条弯路上，人工智能用了科尔比·多瓦和马丁·内斯佐罗亚这几年在带外力的欧拉方程上做出来的骨架，然后逐层放大涡层。

　　也用了克雷克和克里·米纳尔 1986年在剪切流上创造出的精确波，让一个个脉冲从背景的剪切里吸收能量。

　　还用了利夫希茨和哈梅里 1991年的局部不稳定性分析法。

　　在这些弯路上，这个模型做的相当的漂亮，而且准确。

　　甚至连李东都找不出他多余的步骤。

　　而且这个模型还喜欢跳步，还好李东对跳步也有研究，不然一般的数学家还真不一定能看懂他的证明。

　　可即便如此，李东仍然愿意称这个大模型是在走一条正确的弯路。

　　最后李东想起了田钢电话里的叹息，想起了刘若传的无奈，以及各个同行的担心，他最后笑着摇了摇头。

　　“就这？”

　　……

　　此时，柏林国际数学联盟秘书处的会议室里。

　　来自 40多个国家的 60多位数学家正齐聚于此。

　　大家刚刚表决通过了那份声明。

　　投赞成票的人不多，可是投反对票的一个都没有。

　　因为没办法，大家虽然不愿意承认，可是谁也拿不出反对的理由来。

　　陶哲轩看着打印出来的声明，低声地说道。

　　“NS方程大概只是第一个吧。”

　　坐在他旁边的舒尔茨点了点头。

　　“当然，估计霍奇猜想也撑不了多久了。”

　　此时，他们旁边一个 30岁出头，来自阿根廷的年轻数学家忍不住问道。

　　“两位教授，那你们觉得以后数学家在数学里应该是个什么位置？咱们真的就只能为 AI提供情绪价值了吗？”

　　“不知道啊，走一步看一步吧。”

　　会议室里的人三三两两地讨论着自己存在的价值，而坐在主位的联盟主席乌尔丽克·蒂尔曼看了看手表，就准备宣布散会了。

　　就在这时，秘书处的一个工作人员急急忙忙地推门跑了进来。

　　他叫卢卡费雷迪，今年 29岁，也是一个数学家。

　　当然，是网上说的会最先被 AI代替的那一类数学家。

　　蒂尔曼此时看着他问道。

　　“费雷迪，发生了什么事吗？”

　　这几天一直沮丧着脸的费雷迪，突然露出了一个灿烂的笑容。

　　“各位，你们看一下 PMJ的主页。”

　　会场的所有数学家听到他这话，都疑惑地拿出了手机，打开了 PMJ的主页。

　　然后他们就看到了主页上的一个帖子。

　　标题是——【致全体数学同仁：数学才刚刚开始。】

　　【作者：李东】

　　【致全体数学同仁：】

　　【过去几天，关于人工智能完成 NS方程相关证明的消息，我想大家都知道。

　　我也收到了许多朋友的来电，有人惊讶，有人兴奋，也有人认真的在考虑自己正在做的研究是不是已经失去了继续下去的意义。

　　所以我也跑去看了一下这个论文。

　　不得不说这确实是一项值得认真对待的成果。

　　所以……我先对于参与了这项工作的人和 AI表达祝贺。

　　但如果由此就能得出数学家已经可以退出历史的结论，我个人是不赞同的。

　　这篇论文所使用的概念、建立的估计方法以及选择的构造依据，并不是随着 AI诞生以后，才来到这个世界上的。

　　在有这个结论之前，有人已经研究了剪切流中的扰动，也有人追踪过波的增长，有人在不同尺度之间反复的建立联系。

　　这些工作或许没有登上大众媒体的头条，也没有人宣布他们即将改变整个行业。

　　但正是因为有这些工作，才能让后来者有了可以继续前进的方向

　　AI用 88个小时解决了 NS方程的部分问题。

　　但是这 88个小时里，没有算上他所使用的数学工具被研究出来的时间。

　　所以我把他走的这条路线称为一条正确的弯路。

　　正确，是因为他确实达到了目标。

　　而弯路呢？

　　站在人工智能的角度上来说，他用的那些数学工具全是弯路。

　　毕竟他肯定是想以最快的速度来达到目标，而这些工具并不一定能给出最快、最简洁的求解方式。

　　所以按照他的理解最正确的路应该是创造一种新的数学工具，直接就能解决 NS方程。

　　可他为什么不这样做，而要去走那些弯路呢？

　　因为他做不到，他发明不了数学工具。

　　他只能用咱们历代数学先辈们为了解决那些难题而创造出来的工具。

　　而这些工具往往并不是直接针对这个问题的最终求解而创造的。

　　他们衍生出了可以用于其他问题的方法，这在人工智能眼里就是弯路。

　　而数学先辈们走的这些弯路，就是他们最伟大的地方。

　　大家想想，黎曼猜想为什么伟大？哥德巴赫猜想为什么能让一代一代人投入其中？

　　难道仅仅是为了去追逐最后的那个结论吗？

　　大家要知道，研究者在抵达这个结论的中途，创造和改进的数学方法，同样已经成为了数学不可缺少的一部分。

　　围绕素数加性问题发展的圆法与筛法，被用来解决了更多的数论问题。

　　黎曼零点与随机矩阵统计之间的联系，也让数论与量子能级的研究产生了统计规律上的关联。

　　所以大家请把你们的眼光放远一些。

　　这些弯路让我们今天的物理学家用微分几何来描述时空，用群论来研究量子系统。

　　而人工智能它不会创造这些弯路，它只会沿着现在有的路去走。

　　如果咱们现在那些先辈创造的数学工具能够解决世界上所有的难题。

　　那当然值得我们庆祝。

　　可假如有一天，现在的工具已经满足不了新出现的问题了呢？