0 会员专区 2026-08-16 长上下文不等于强推理：AI的工作记忆、搜索耐力与数学发现 上下文窗口只说明可接收的序列长度，有效检索、状态管理、搜索预算和验证器共同决定数学智能体能否完成长程推导。本文结合长上下文评测与形式化证明系统拆解这些能力。