姚期智、袁洋团队与杨植麟等提出 AWM 框架与 TCSExam：让 AI 从探索走向证明

上海期智研究院与杨植麟等团队提出 AWM 框架和 TCSExam 评估方法，探讨 AI 从探索现象到证明结构的演进路径。文章以 ARC-AGI-3 为例指出 GPT-6 Astra 虽能生成高密度规则但缺乏统一结构，在复杂关卡中出现幻觉，并据此分析当前大模型在数学证明与构造方面的能力分布与局限。