AI 模型首次在国际数学奥林匹克竞赛（IMO）上拿到满分——而这一头条结果并非来自前沿实验室，而是来自 RedNote，也就是中国社交媒体公司 Xiaohongshu 背后的运营方。该公司的测试版模型 dots-note-3.0 在上海举行的第 67 届 IMO 上解出了全部六道题目，以完美的 42/42 夺分，RedNote 于 7 月 22 日宣布。Huawei 的 Celia 也在同一赛事中达成了这一成绩。

在官方规则下

这并不是自行评分：参赛公司只有在人类考试结束后才会拿到题目，并需在规定时间内提交答案，解答由 IMO 组织方评分。RedNote 表示，严格禁止任何人工介入。该公司说：“此前，从未有大型语言模型取得过满分。”

人类门槛

今年大约 666 名参赛人类中，只有 7 人拿到满分。与 2025 年形成鲜明对比的是，当时 Google DeepMind 和 OpenAI 以 35/42 的成绩庆祝斩获金牌——而这一门槛如今看起来更像是一个跳板。

三者中的最小一款

dots-note-3.0 是 RedNote dots3 系列中最轻量的模型，位于更大的 “jazz” 和 “aria” 之下。它目前仍处于测试阶段——RedNote 说它将在“不久的将来”开源，但没有给出具体日期。

言外之意

一个社交电商应用在数学 AI 领域领先于一年前定义这一赛道的实验室，凸显出中国生态中的顶尖推理能力正以多快的速度扩散——而一旦开放权重发布，奥赛级数学能力将触手可及。投资者间流传称 OpenAI、Anthropic 和 Moonshot 的模型今年也拿到了满分，但这些说法都出自自报，而非 IMO 官方评分——眼下，官方成绩榜属于 dots-note-3.0 和 Celia。