小红书 dots-note-3.0 获 IMO 官方满分 系 AI 首次
小红书 AI 模型靠“递归自我批判”拿下 IMO 满分，说明长程推理中主动纠错是关键能力。
在第 67 届国际数学奥林匹克（IMO，面向高中生的顶级数学竞赛）中，小红书自研模型 dots-note-3.0 成为首个经官方评阅获得满分 42 分的 AI。它采用“生成证明—自我检查—修改”的循环，以自然语言结合 Python 推理，不依赖形式化系统，能主动发现并修正论证漏洞。
正文摘录
.jpg) 编辑｜杜伟 在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。 同时，本届 IMO 上大放异彩的不只有这些人类选手，大模型也交出了一份满分答卷。 它正是来自小红书的「dots-note-3.0」，并由此创下了一个历史记录 —— 中国选手与中国模型，首次在 IMO 顶峰相见 。  小红书 IMO 满分夺金获人民日报报道。原链接：https://www.peopleapp.com/column/30052732612-500007612298 去年谷歌的 Gemini Deep Think 在 IMO 2025 中解出了 6 道题中的 5 道，以 35 分达到金牌标准。今年小红书 dots-note-3.0 提交的六道题均获得 7 分，成为 首个经 IMO 官方评阅取得满分的 AI 模型 。仅仅过去一年，大模型在高难度数学证明任务上又进了一步。