2026 年 7 月 21 日，第 67 届国际数学奥林匹克（IMO）官方评卷结果揭晓。小红书 dots 团队的 dots-note 3.0 六道题全部答对，42/42 分，满分金牌。

全球仅 7 位人类选手拿到同样的成绩。这是大模型第一次在 IMO 拿到满分，也是第一次在不依赖形式化验证工具的情况下做到这一点。

一条技术路线的可行性被验证了，同时，我们评估 AI 推理能力时的盲区也暴露得更清楚。

递归自我批判：模型学会了"反悔"

dots-note 3.0 的核心技术特点是递归自我批判。模型在生成每一步推理后，会主动检查这一步是否正确、是否有漏洞、是否有更优雅的解法。如果发现问题，它会回退并尝试新路径。