歸藏(guizang.ai)@op7418小红书内部模型 dots-note-3.0 在 2026 年国际数学奥林匹克竞赛（IMO）中以 42 分满分成绩获得金牌认证，超过金牌线 13 分，据称是首个在 IMO 官方评卷中获满分的模型。该版本为 dots 3 系列最轻量模型，近期将开源。
没想到小红书模型训的也可以啊，我一直以为他们只做一些 Agent 方面的事情。
刚才看到他们在 2026 年的国际奥林匹克数学竞赛（IMO）上，那个 dots-note-3.0以 42 分的满分成绩获得了满分金牌的认证，超过金牌线 13 分。这应该是第一次有模型在IMO官方评卷里拿到满分。全球范围内都是。
IMO 主要是证明题，没有选择题之类的对错题，要看论证过程是否准确严密，需要评委去评审。模型在某一个题目上用了非常新颖的解法。
我查了一下，这个模型是dots-note-3.0 的内部版本，应该是 dots 3 中最轻量的模型，近期也会开源，感觉他们在模型上也发力了。
刚好昨天，Anthropic 的数学家用 Fble 5 证明了雅可比猜想的反例，这也说明大模型在数学发现上的重要性越来越强，而且能力上也越来越强了。
歸藏(guizang.ai)@op7418 · X小红书内部模型 dots-note-3.0 在 2026 年国际数学奥林匹克竞赛（IMO）中以 42 分满分成绩获得金牌认证，超过金牌线 13 分，据称是首个在 IMO 官方评卷中获满分的模型。该版本为 dots 3 系列最轻量模型，近期将开源。
没想到小红书模型训的也可以啊，我一直以为他们只做一些 Agent 方面的事情。
刚才看到他们在 2026 年的国际奥林匹克数学竞赛（IMO）上，那个 dots-note-3.0以 42 分的满分成绩获得了满分金牌的认证，超过金牌线 13 分。这应该是第一次有模型在IMO官方评卷里拿到满分。全球范围内都是。
IMO 主要是证明题，没有选择题之类的对错题，要看论证过程是否准确严密，需要评委去评审。模型在某一个题目上用了非常新颖的解法。
我查了一下，这个模型是dots-note-3.0 的内部版本，应该是 dots 3 中最轻量的模型，近期也会开源，感觉他们在模型上也发力了。
刚好昨天，Anthropic 的数学家用 Fble 5 证明了雅可比猜想的反例，这也说明大模型在数学发现上的重要性越来越强，而且能力上也越来越强了。