北大清华等高校联合发布大模型逻辑推理能力综述，推动AI技术突破

北大、清华等高校联合发布《Empowering LLMs with Logical Reasoning: A Comprehensive Survey》，系统分析了大模型在逻辑推理能力上的两大核心挑战：逻辑问答准确率低（如FOLIO数据集准确率仅33.63%）和逻辑一致性缺陷（如自相矛盾回答）。论文提出基于外部求解器、提示工程、预训练/微调等技术路径，并分类了否定、蕴涵、传递等五类逻辑一致性问题，同时展望了模态逻辑推理和高阶逻辑推理等未来方向。