才刚刚开始。】
【作者:李东】
【致全体数学同仁:】
【过去几天,关於人工智能完成 n方程相关证明的消息,我想大家都知道。
我也收到了许多朋友的来电,有人惊讶,有人兴奋,也有人认真的在考虑自己正在做的研究是不是已经失去了继续下去的意义。
所以我也跑去看了一下这个论文。
不说,这确实是一项值真对待的成果。
所以……我先对於参与了这项工作的人和 a表达祝贺。
但如果由此就能数学家已经可以退出历史的结论,我个人是不赞同的。
这篇论文所使用的概念、建立的估计方法以及选择的构造依据,并不是随着 a诞生以後,才来到这个世界上的。
在有这个结论之前,有人已经研究了剪切流中的扰动,也有人追踪过波的增长,有人在不同尺度之间反复的建立联系。
这些工作或许没有登上大众媒体的头条,也没有人宣布他们即将改变整个行业。
:
但正是因为有这些工作,才能让後来者有了可以继续前进的方向
a用 88个小时解决了 n方程的部分问题。
但是这 88个小时里,没有算上他所使用的数学工具被研究出来的时间。
所以我把他走的这条路线称为一条正确的弯路。
正确,是因为他确实达到了目标。
而弯路呢?
站在人工智能的角度上来说,他用的那些数学工具全是弯路。
毕竟他肯定是想以最快的速度来达到目标,而这些工具并不一定能给出最快、最简洁的求解方式。
所以按照他的理解,最正确的路应该是创造一种新的数学工具,直接就能解决 n方程。
可他为什麽不这样做,而要去走那些弯路呢?
因为他做不到,他发明不了数学工具。
他只能用咱们历代数学先辈们为了解决那些难题而创造出来的工具。
而这些工具往往并不是直接针对这个问题的最终求解而创造的。
他们衍生出了可以用於其他问题的方法,这在人工智能眼里就是弯路。
而数学先辈们走的这些弯路,就是他们最伟大的地方。
大家想想,黎曼猜想为什麽伟大?哥赫猜想为什麽能让一代一代人投入其中?
难道仅仅是为了去追逐最後的那个结论吗?
大家要知道,研究者在抵达这个结论的中途,创造和改进的数学方法,同样已经成为了数学不可缺少的一部分。
围绕素数加性问题发展的圆法与筛法,被用来解决了更多的数论问题。
黎曼零点与随机矩阵统计之间的联系,也让数论与量子能级的研究产生了统计规律上的关联。
所以大家请把你们的眼光放远一些。
这些弯路让我们今天的物理学家用微分几何来描述时空,用群论来研究量子系统。
而人工智能它不会创造这些弯路,它只会沿着现在有的路去走。
如果咱们现在那些先辈创造的数学工具能够解决世界上所有的难题。
那当然值们庆祝。
:
可假如有一天,现在的工具已经满足不了新出现的问题了呢?
而我们的数学家已经放弃了数学,那我想问一下各位,人工智能它能解决这些新的问题吗?
所以各位同仁,你们是不可能被替代的。
而人工智能的存在,是为了让我们能够把更多的精力投入到尚未理解的问题里。
你们以前完成的研究成果,并没有因为这篇论文的出现而失去任何的价值。
恰恰相反,这篇论文的出现反而证明了你们的价值。
因为这篇论文是依赖你们留下的成果而存在的。
因此,你们不必着急着替自己寻找告别词。
因为你们手里那些没想明白的问题,仍然有值研究的价值。
哦,对了,大家当然也不能埋头苦干,也要学会利用人工智能这个工具,它会为你节省下大量的时间。
所以这里我推荐大家使用未央数学版。
好了,各位别自怨自艾了,继续去完成你们的工作吧。】
: