小红书大模型 IMO 满分夺金，第三题解法让冠军选手直呼优雅

admin

刚刚， IMO 2026 成绩新鲜出炉，大模型交卷今年卷到了新高度。经 IMO 官方评定，小红书大模型 dots-note-3.0 ，六道题全部答对，以满分成绩斩获金牌。

含金量有多高呢？

这么说吧，这是中国大模型首次获得 IMO 官方金牌水平认证，也是继谷歌 Gemini 模型之后，全球第二个达到该成绩的大模型。

而且划重点！是满分！谷歌当年也只答对了 5/6……

                               
登录/注册后可看大图

震惊了，这还是我印象中的小红书吗？

首次登上世界级竞赛，就来了场开门红～

再往下深扒，小红书大模型 dots-note-3.0 的解题方式也让人眼前一亮又一亮：

它仅用自然语言就完成了从读题、解析到写证明的全过程，最终答案不仅全部正确，在部分题目上还创新地提出了非常规解法。

双 CMO 金牌得主刘涵祚看完后这样评价：

模型最终给出了一条正确且漂亮的证明思路。

这种解法结构紧凑、逻辑自然，即使放在 IMO 解答中，也属于较为简洁优雅的一类。

CMO 金牌得主汪千桐也给出了相似的结论：

从数学审美的角度看，小红书大模型 dots-note-3.0 的解答非常漂亮也很优雅。

常规解法已经很巧妙，但 dots 直接攻克了题目最难、也最本质的部分。

在他看来，dots 解题简洁明了而且直击本质。

看完以后，会觉得每一步都顺理成章，但真正拿到题目时，人类选手很难想到能从这个角度切入。

换句话说，IMO 满分金牌或许还远不是小红书大模型 dots-note-3.0 能力的上限。

【为什么当前的大模型需要 IMO】
先来个科普，讲讲 IMO 究竟是什么，又为何各家都在争先送自家大模型上考场。

                               
登录/注册后可看大图

IMO 又叫国际数学奥林匹克竞赛，每年全世界最顶尖的中学生云集于此。

陶哲轩等几乎半数当代菲尔兹奖得主都是从 IMO 出来的，谷歌联创 Sergey Brin 也拿过 IMO 金牌。

比赛一般分两天进行，每天 4.5 小时需要完成 3 道题，总计 6 道题，覆盖代数、组合、几何和数论四个方向。每题 7 分，满分 42 分。

但光有答案还不算数，参赛者要想拿分，必须写出逻辑完整、能接受逐步审查的证明过程。

这对大模型来说，难度极高，却也是最直观的能力展示途径。

以 Gemini 为例，2024 年谷歌首次挑战 IMO，最终只拿到 28 分的银牌水平，彼时系统也还需要先将自然语言题目翻译成 Lean 等形式化语言，部分题目耗时甚至长达数天。

第二年卷土重来，Gemini Deep Think 直接以自然语言端到端完成证明，用 4.5 小时就

[来源链接] https://www.ithome.com/0/979/839.htm