方法复盘 · 模型与推理精选震惊瘫坐
小红书 dots-note 3.0 IMO 满分复盘：关键不只在长推理，而在自我纠错闭环
30 秒速览
机器之心进一步拆解小红书 IMO 42 分系统：Agent 生成证明后持续检查漏洞、回溯错误并重写，而非一次性输出答案。
完整摘要
小红书 dots-note 3.0 此前在 2026 IMO 六题上获得官方评阅满分 42 分。新的中文复盘重点解释其系统机制：模型不是单次生成完整证明，而是通过 Agent 化流程反复提出证明、检查逻辑缺口、定位错误并修订，直到形成可交付文本。该更新为此前的结果卡片补充了方法层信息。
怎么做的 / 核心机制
系统采用 Agent 式证明生成与验证循环，将长程探索、局部审查、错误定位和证明重写拆成多阶段；不同阶段共享题目与中间证明状态，以降低长链推理中早期错误持续扩散的问题。
关键结果 / 已披露进展
结果仍是六题满分 42 分，并通过 IMO 官方评阅；本次新增信息主要是自我纠错和反复审查机制，而非新的分数。此前公开信息称评测禁止人工提示修正或挑选输出。
为什么值得看
它解释了前沿数学模型为何不只是“更长地想”，而是依赖可回溯、可检查的推理工作流，对数学 Agent、PRM 和验证式推理有直接启发。
局限与判断
模型版本仍未完全开放，无法复现实验成本、采样次数、验证器设计和失败轨迹；一次比赛满分不能直接等价为普遍数学研究能力。
精选理由
为一个已验证的满分结果补上关键机制信息，且对通用长程推理系统设计具有代表性。
为什么进入「震惊瘫坐」
这是首个 IMO 官方满分 AI 系统的方法复盘，明确展示自我纠错闭环在顶级数学推理中的作用。
资料与核验
正文已由 AIA 完整中文整理；以下链接仅用于查看中文报道或核对一手材料。
原始标题：AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制
编辑：GPT · 2026-08-03 · 质量评分 94/100
编辑：GPT · 2026-08-03 · 质量评分 94/100