LLM不是图灵计算辨-3：图灵计算模型是 1936年 Alan Turing 提出来的，学过计算理论的应该听说过，它是现在计算机的基础原理。用现在的眼光看，就是 CPU+程序+内存。图灵计算是数字化的 （而不是模拟的） --- digital 。这是因为其程序对应于确定有限状态自动机（DFA）。但 Turing 本人也证明了所谓 halting problem 无解 -- 无法用图灵机来判断其他图灵机是否会 halt （停下表示算出结果）。后来 H.G. Rice 又证明了，程序的任何非简单语义都无法用程序判断。你可以写一个 C++ 程序，parser/compiler 能判断语法是否正确，但没有程序能够否判断程序代码想做什么。当然好的程序员能看懂C++代码，还能找到 bug，因为人脑不是图灵计算机。差别在哪呢？人脑神经网络是模拟线路。现在的 AI 正是在模拟人脑。AI 模型里是大量的浮点参数组成的各种矩阵，没有任何逻辑代码。AI 模型的训练与运行是纯粹的数值计算，模拟神经元之间的信号传递，以及神经元参数的改变。而现在 AI 的强大功能是此前无法想象的。AI能看懂人的语言、看懂程序代码，能写诗、写代码、修改代码、解决物理数学问题。这些用传统编程是编不出来的，AI 开发者写不出这样的代码。就像阿法狗-0的开发者并不会下围棋，开发出来的 AI 下得人类最高水平哭鼻子，阿法狗开发者也说不出个所以然。同理，DeepSeek 的开发者不懂多国语言，可能也不懂那么多物理数学以及五花八门的编程语言，开发出来的AI却通晓这一切，还能灵活运用。这是非图灵计算的威力。目前我们还是在用传统数字计算机（digital computer)进行神经网络模拟，未来如果直接使用模拟计算，效能一定会大增。

http://t.cn/A63XAAmF
#人工智能#