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