第 67 届国际数学奥林匹克竞赛成绩揭晓,小红书大模型 dots-note-3.0 以满分斩获金牌,成为继谷歌 Gemini 后全球第二个获此成绩的大模型,且是首个获 IMO 官方金牌认证的中国大模型。本届 IMO 金牌线 29 分,赛题难度高于去年。该模型凭借稳定的 Agentic 推理系统、自然语言端到端处理的通用推理能力,以智能体方式结合代码执行与递归自我批判解题,其第三题的归纳法解法获 CMO 金牌得主好评。此次成绩证明小红书具备较强基础模型能力,且 dots-note-3.0 即将开源。