小红书大模型 IMO 满分夺金：中国 AI 首次登顶数学奥赛：第三题解法让冠军选手直呼优雅

第67届国际数学奥林匹克竞赛（IMO2026）成绩近日揭晓，小红书大模型 dots-note-3.0以六道题全部答对的满分成绩斩获金牌。这是中国大模型首次获得 IMO 官方金牌水平认证，也是继谷歌 Gemini 之后全球第二个达到该成绩的大模型——且为满分，谷歌此前仅答对5/6题。

IMO 是国际数学奥林匹克竞赛的简称，每年汇聚全球顶尖中学生，陶哲轩等半数当代菲尔兹奖得主均出自该赛事。比赛分两天进行，每天4.5小时完成3道题，覆盖代数、组合、几何和数论四个方向，每题7分，满分42分。参赛者必须写出逻辑完整、可接受逐步审查的证明过程，这对大模型而言难度极高。

具体答题过程中，dots-note-3.0采用智能体方式，结合自然语言与 Python 代码执行推理解题，并借助递归自我批判能力审视自身论证。真正让人惊喜的是第三题——一道组合博弈问题。常见解法是将原问题转化为图论连通性问题再建立证明，而 dots-note-3.0转用归纳法，抓住了问题最本质的结构，设计出恰到好处的归纳对象与命题。

双 CMO 金牌得主刘涵祚评价其"正确且漂亮，结构紧凑、逻辑自然，即使放在 IMO 解答中也属于较为简洁优雅的一类"。CMO 金牌得主汪千桐认为其"简洁明了而且直击本质，每一步都顺理成章，但人类选手很难想到能从这个角度切入"。

对小红书而言，IMO 满分是一次重要的技术亮相。过去外界对其技术认知集中在内容社区、推荐算法和内容理解，基础模型领域的位置一直缺少公开权威的证明。IMO 满分不一样——42分就摆在那里，无需复杂解释，足以证明小红书已具备值得行业认真审视的基础模型能力，基础模型领域出现了一个值得关注的新玩家。据悉，dots-note-3.0即将开源。