作者反思：AI 智能体不会建议用 LLM 解决本该用 LLM 的问题

一位刚接触 LLM 的开发者用 Claude Code 和智能体搭建记忆工具，目标是自动标记相互矛盾的记忆，但数月后该功能仍未实现。他让 Claude 生成 Agda 证明、Petri 网和四值逻辑设计，最终被告知把散文记忆自动编码为 ASP 程序涉及知识表示中未解决的“命题同一性”问题。