大语言模型“知行不一”:架构局限下的符号推理困境 - ListenHub