你的想法和我隐隐中的感觉不谋而合！
我一直认为计算机能做到，但我一直找不到那条路。」
沃伦·韦弗与其说是数学家，不如说是计算机科学家。
他在40年代的时候就认为语言翻译能像解码一样由机器完成。
与香农合作，就是资讯理论的那个香农，把他的论文扩展成了《通信的数学理论》。
让资讯理论进入到了更广泛的领域。
可以说沃伦·韦弗是现场众多数学家里，最能理解林燃思想的人。
所以他哪怕有安排在身，也顾不上那麽多了。
得来T酒店的宴会厅和林燃攀谈两句。
林燃当然也认识对方，因为对方常年在洛克菲勒基金会任职。
早期洛克菲勒基金会给他的支票，有好几次都是沃伦·韦弗负责送给他。
「沃伦，你知道的，过去翻译被认为是不可能。
後来我们有巴别塔项目，巴别塔项目能做到简单的翻译。
再後来希瓦娜向我们展示了翻译无限的可能性。
现在IBM的翻译机进展迅速，它们已经能实现四十年代人们对翻译功能的幻想了。
数学万能机也是如此，十年前的四色问题到今天的神经网络。」
林燃和沃伦的对话，引来了数学家们围在它们周围。
鸦雀无声，都在认真听林燃的讲话。
一些认真的数学家还掏出了笔记本在做记录。
沃伦·韦弗认真道：「教授，神经网络、语言模型和围绕着语言做不断的压缩推测。
这条路是你在和万能机相处的路上，自己所探索出来的。
你有没有和希瓦娜围绕着万能机的原理展开过交流？」
这句话一出现场更安静了。
连带着站在外围的数学家，看见酒店服务员在上菜，都示意他们待会再上。
有数学家拉着服务员就往外走，走到走廊上後嘱咐道：「让後面进来的人都小点声！保持安静！」
林燃说：「这是我所看到的路。
抱歉，很遗憾，我没有见到希瓦娜。
但我的直觉告诉我，它是一条对的路。
因为从第一性原理出发，数学首先是一套建立在明确规则之上的符号体系。
数学证明不就是一种受到严格规则约束的符号变换过程吗？
我们从一组公理、定义和已经证明的
…。。