小红书模型dots-note-3.0在IMO 2026获满分金牌

小红书内部模型dots-note-3.0在2026年国际数学奥林匹克竞赛（IMO）中以42分满分获得金牌，成为首个在IMO官方评卷中取得满分的AI模型。该模型在证明题中使用了新颖解法，近期将开源。同时，Anthropic的Fble 5模型证明了雅可比猜想的反例，凸显大模型在数学发现中的重要性。