AI reasoning（AI 推理）

AI推理旨在让机器像人类一样进行多步逻辑推导，涵盖演绎、归纳和溯因。传统方法基于符号逻辑和知识图谱，但难以处理不确定性。现代方法结合深度学习，如思维链（CoT）提示让大模型生成中间推理步骤，提升复杂任务表现。技术包括神经符号推理、图神经网络和强化学习。应用在自动定理证明、医疗诊断和法律分析。挑战包括常识缺失和推理可解释性。代表工作有OpenAI的o1模型和DeepMind的AlphaGeometry。