第764章 渔网和鱼（1/2）
第845章 渔网和鱼
「..，我知道各位会怀疑，就这？
就这就能是数学万能机？
它的底层原理是如此简单吗。」
其实现场百分之九十的数学家都没有听懂林燃从上午讲到下午的内容到底在讲什么。
但不妨碍他们持续不断地在笔记本上记录下林燃所说的内容。
从符号规则到统计机器，再从深度神经网络到为什么量变会产生质变，最后到注意力规则和能力涌现。
1950年的图灵测试人工智能概念第一次出现。
1956年的达特茅斯会议，人工智能被提出，打开了符号主义的时代。
1958年单层神经网络原型就出现了，当下正值AI寒冬，因为算力和数据不足，导致人们对于人工智能能否实现信心已经没有了。
「博雷尔在1913年发表的论文《静态力学与不可逆性》中提到：
让我们设想我们训练100万只猴子，每天工作十个小时，使用100万台不同类型的打字机。
一年后，这些打出来的文稿被装订成册，其中会包含世界上最丰富图书馆里所有书籍的精确副本...」
「我想说的是，当输出的文本足够多，是否所有文本都会被生成。
当我们制定好规则，是不是我们就能从这些文本里找到我们想要的内容？
这就是为什么我对干人工智能有信心。
当数据到了一定规模，当计算机的能力到了一定程度，智力自然会涌现。
对人来说，我们会尽可能地减少复杂计算，我们追求优雅的数学结构。
这是因为人的大脑限制，我们的大脑能追求的变量是有限的。
当我们计算偏微分方程或者其他格式的数学时，一旦展开到三阶以上，几十个项涌出来。
人脑就会死机。
因此我们极其厌恶高端项，一旦看到高端项发散，我们的本能会告诉我们这条路不通。
我们需要回到原点，重新寻找对称性、找不变量，靠同态代数或者几何直观，在不展开式子的情况下把问题绕过去。
但机器不是。
在机器的视野里，看高端项就和喝水一样简单。
追踪一万个五阶交叉项的系数变化，就和我们算一加一一样简单。
在它的视野里，压根不需要什么几何直观，它能站在高维的代数展开式往下看。
人类觉得像乱麻一样的高端项，在它眼中就是明明白白的简单方程。
所以宇宙中的真理，很可能是不能压缩的，或者说想要找到压缩的路径格外的麻烦。
我们一直觉得奥卡姆剃刀，无论表象多么复杂，底下一定藏着简洁而优美的公式。
但实际上有没有可能，并不存在呢？
所有数学问题里，能被人类语言压缩成简短概念、对称结构和不变量的只是很小的一部分。
绝大多数的数学真理，它的最短描述长度就是那几万个高端式子呢？
以前我们看不见大海，我们需要造一张渔网。
美其名曰优雅，但实际上它的网眼大的离谱。
只有那些长得对称，极其特殊的鱼类能被我们捞上来，写进教科书。
而真正构建起数学宇宙，没有任何简洁和美感可言的庞大真理，全部都从网眼里漏了下去。
过去证明一个定理的过程，就是人类大脑理解它的过程。
为了证明它，我们需要在大脑里先搭建起桥，发明一套理论。
桥本身就是财富，别的数学家也能顺着桥走过去。
这就像是你给这张网加了一条线，让一部分网眼变小了，更多的数学鱼能被捞上来。
但现在，万能机就像是超人，它是没有网眼的网。
它能把每一条鱼给捞上来。」
林燃拍了拍本子堆成的山。
「而万能机还有一个好处，穷举法穷举完一千个变量，对我们来说不可能，不现实。
但对万能机而言，这就跟喝水一样简单。
各位，还记得1962年的数学大会吗？
13年前，在斯德哥尔摩，我当时很年轻，但很有名。
嗯，应该很有名吧？」
现场响起一阵笑声，被万能机、鱼、渔网这些概念冲击到无以复加的科学家们终于笑了，笑得很开心。
「当然！」
「非常有名！」
「那时候我们聊天的内容都是哥廷根神迹。」
林燃笑着点头：「那就好。
看来我没有记错。
那时候我在国际数学家大会上做开幕报告。
很荣幸，就和今天一样。
我在当时的报告上提到的是四色问题。
我给了一个方案，并且说有计算机的配合，可以用穷举法把这个问题给解决。
最后也正如我所预料的那样。
哥伦比亚大学的数学家们在计算机的帮助下，检查了超过百亿的集合，最终得到了1936个环大小不超过14的构型。
然后挨个验证他们，确定他们全部都可约。
数学家们设置规则、策略，调整不可约集，计算机负责海量的可约性验证。
这难道不是万能机的雏形吗？
换成是人类数学家，恐怕我们穷尽我们一生，都做不完验证。
计算机可以。
那么万能机也可以。
穷举和计算高端项对万能机而言是如此简单，它的网比人类的网要效率高得多。
当我亲眼看到万能机的时候，我意识到人类数学家有两条路。
一条是造出万能机，另外一条是把我们的网编织的更密、更紧、能捞更多的鱼。
除此之外，别无他法。
而这些，就是我为数学界所增加的线。」
林燃又拍了拍论文，鞠躬，结束。
台下的掌声山呼海啸，从前到后。
海森堡第一个从轮椅上站起来，紧接着每一个人都站起来了。
在包厢里的鲍勃和卡尔也是如此。
鲍勃说道：「我已经想好了名字。」
「什么？」卡尔看着眼前的一幕，问道。
「渔网和鱼。」
林燃讲话结束后，福克斯已经失去思考能力了。
他不知道自己该做什么。
本来作为主持人和委员会主席，他应该要去主持大局。
宣布数学家大会圆满结束，顺便告诉大家，可以去吃饭了。
他们选了三家酒店，容纳大家吃自助餐。
此刻，林燃还站在台上。
掌声平息之后，所有人都想往台上挤。
想要离这1001篇论文更近一些。
林燃说：「各位，我知道大家的心情，这样，排队。
然后轮流上来看一眼，绕成圈。
这样我们迅速看完，然后去吃饭。
本章未完，点击下一页继续阅读。