小红书 dots 模型 IMO 2026 满分夺金，不靠形式化翻译直接读题做题

小红书 dots 模型获 IMO 2026 满分金牌

小红书 dots 团队用 dots-note 3.0 参加第 67 届 IMO 2026，六道题全部拿下满分 42 分，拿到金牌——全球只有 7 个人类选手做到同样成绩。这个模型不走“先把题目转成形式化语言”那条路，而是直接读原始 LaTeX 题目，靠递归自我批判端到端解完。dots-note 3.0 是 dots3 系列里最轻量的版本，团队说会开源。...

推荐理由：小红书 dots 团队用 dots-note 3.0 参加第 67 届 IMO，六道题全对拿了 42 分满分金牌，全球只有 7 个人类选手做到同样成绩。这个模型不走“先把题目转成形式化语言”那条路，而是直接读原始 LaTeX 题目，靠递归自我批判端到端解完。dots-note 3.0 是 dots3 系列里最轻量的版本，团队说会开源。我会先打个折：正文没披露训练数据规模、推理成本、是否在比赛时限内完成，也没说有没有人工介入或多次采样挑答案。这些缺口让“满分”的含金量暂时没法完全评估，但技术路线确实和 DeepMind 那套形式化路线不一样，值得关注...