标签：计算不可约性

沃尔夫勒姆谈计算、语言与AI的深层逻辑

斯蒂芬·沃尔夫勒姆在第四次做客Lex Fridman播客时，深入探讨了Wolfram语言与大型语言模型的根本区别。他认为LLM是“宽而浅”的语言续写，而Wolfram构建的是基于符号表示的“深”计算。他重点阐述了“计算不可约性”理论，并指出我们作为观察者，正是通过识别世界中的“可约性口袋”来构建知识和科学。他还提出了语言存在“语义语法”或“思想法则”的假说，认为GPT正通过海量文本发现这些超越纯句法规则的深层结构。