llm-critique

本文批判了当前的编程实践和对大语言模型的依赖，反而主张通过更好的抽象、文档和软件栈来使代码更易于理解和维护。

文章认为自回归语言模型无法真正理解形式数学，需要验证方法，并引用了诸如Aleph等依赖严格数学证明的系统。

Yann LeCun 离开 Meta 创办 AI 公司 AMI，专注于基于联合嵌入预测架构（JEPA）的世界模型，他认为 LLM 不是通往人类智能的道路，并批评当前范式缺乏预测和规划能力。

Yann LeCun 认为，LLM缺乏世界模型，因此无法可靠地构建智能体系统，因为它们无法预判自身行为的后果。

文章探讨了世界模型对AI可能产生的范式变革性影响，重点介绍了Yann LeCun和Fei-Fei Li等人在该技术领域的投入，认为其有望成为当前LLM范式的继任者。

一篇2026年的博客文章回顾了M.H. van Emden 1982年提出的“计算机辅助思维”愿景，并指出当今的对话式大语言模型未能实现他所设想的那种结构化、基于逻辑、能产生思维摩擦的对话者。

布莱恩·坎特里尔批评LLM缺乏人类懒惰带来的优化约束，认为LLM会不必要地使系统复杂化而非改进，并强调人类时间限制推动了高效抽象的发展。