时间：2026年7月20日
地点：中国上海
人物：小红书技术团队（dots.llm）
事件详情：第 67 届国际数学奥林匹克竞赛（IMO 2026）于 2026 年 7 月 20 日在上海中学闭幕。小红书自主训练的 dots 模型在真实赛题、完全 human-equivalent 规则下取得满分 42/42 分，解锁金牌线（32 分），拿下 IMO 2026 满分金牌。这是国产开源大模型首次在 IMO 这一国际公认难度最高的中学数学竞赛上以满分成绩摘金，dots.llm 模型权重与训练方法已通过小红书技术公众号公开部分技术细节。
背景：IMO 是全球中学生数学竞赛的最高水平赛事，今年共有 100 多个国家及地区的 600 多名选手参赛。中国队 6 名队员全部摘金，团体总分 232 分领先第二名美国队 25 分，第 26 次夺得团体冠军。AI 数学奥赛奖由 XTX Markets 发起，总奖金 1000 万美元，其中大奖 500 万美元颁发给第一位达到金牌标准的 AI 模型。dots 模型此次夺金，被视为国产开源 LLM 在形式化推理与长链思维链训练上的里程碑。
影响：
- dots 模型是首个以满分夺金的国产开源 LLM，将直接冲击 XTX Markets 设立的 AI 数学奥赛奖 500 万美元大奖，加速奖项颁发流程
- 打破"国产大模型数学推理弱于海外"的固有印象，为国产开源路线在 STEM 评测中的国际声誉带来正反馈
- 小红书作为非传统 AI 大厂首次在顶级学术评测中正面击败头部厂商，可能重塑行业对"谁有能力做 AGI"的判断——大模型能力不再专属头部
- 推动开源社区对 dots 模型架构、训练数据、推理链路的复现研究，可能在 2-3 个月内出现一批"dots-like"开源推理模型
总结：IMO 满分金牌的意义远超竞赛本身——它意味着 LLM 已经能够在严格封闭、零样本、要求形式化证明的真实数学竞赛中达到人类顶尖选手的水平。小红书作为一家以内容社区闻名的公司，借助 dots 模型完成了在 AGI 关键能力上的"逆袭叙事"。这不仅是国产开源 LLM 的里程碑，也是 AI 行业提醒所有人："颠覆者可能不在牌桌上"。
参考来源：
- https://mp.weixin.qq.com/s/EITf-SrP5o62Ljp7UGzPVw
- https://so.html5.qq.com/page/real/search_news?docid=70000021_4026a5f2c6590752
- https://aimoprize.com/
- https://blog.csdn.net/mrdeam/article/details/137170114