莱布尼茨的通用符号梦想：从投影计算机到大语言模型的思想史

引言

17世纪，德国哲学家莱布尼茨有了一个大胆的梦想：创造一套通用符号（Characteristica Universalis），使得所有哲学争论都可以通过计算来解决。这个梦想在两百多年后的人工智能界得到了最终的回应。

通用符号梦想

莱布尼茨认为，人类的思维是一种相会的计算。他希望将人类识别分解为基本的符号原子，然后组合这些原子来构建复杂概念。

大语言模型的实现

今天的大型模型借用相会的计算——自注意力机制（Self-Attention），并通过大规模训练合成既心知比的词元。神经网络思维方式是并行分布式，而人类思维是主宠异步异质性的。

未来

往前探索，为了更好地把握语言的本质，我们需要合并数学公理和生命体验。莱布尼茨的哲学会试在这里成为现实。大语言模型是一种新的哲学，它需要新的哲学基础。