第67届国际数学奥林匹克竞赛（IMO2026）成绩公布，小红书大模型 dots-note-3.0 以6题全对、42分满分获得金牌水平认证，成为中国首个获 IMO 官方金牌水平认证的大模型，也是继谷歌 Gemini 后全球第二个达到金牌成绩的大模型。本届金牌线为29分，赛题覆盖代数、组合、几何和数论。dots-note-3.0 以自然语言端到端完成证明，并结合 Python 执行和自我批判进行推理。据悉，该模型即将开源。
第67届国际数学奥林匹克竞赛（IMO2026）成绩公布，小红书大模型 dots-note-3.0 以6题全对、42分满分获得金牌水平认证，成为中国首个获 IMO 官方金牌水平认证的大模型，也是继谷歌 Gemini 后全球第二个达到金牌成绩的大模型。本届金牌线为29分，赛题覆盖代数、组合、几何和数论。dots-note-3.0 以自然语言端到端完成证明，并结合 Python 执行和自我批判进行推理。据悉，该模型即将开源。