thought-tools

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