小红书 dots-note-3.0 满分斩获 IMO 2026 金牌

小红书 dots 团队的内部模型 dots-note-3.0 受邀参加第 67 届国际数学奥林匹克（IMO 2026）官方评测，并以 42/42 满分的成绩斩获金牌。据小红书技术 REDtech 官方账号及媒体消息，这是中国大模型首次在 IMO 官方评测中获得满分，该模型也是全球第二个达成此成就的模型。在本届比赛中，全球仅有 7 位人类选手获得满分，dots-note-3.0 的数学推理能力已比肩顶尖人类选手。

已确认

官方信息显示，dots-note-3.0 在评测中六道题全部答对。在技术实现上，该模型展现了强大的端到端证明能力，区别于以往依赖人工将题目翻译为形式化语言的传统方案。

尚未确认

据科技博主 @op7418 等人透露，这款轻量级模型后续将会开源，这将为相关技术社区提供新的资源支持，但具体开源时间表和开源范围尚未明确。

2026-07-21 ~ 2026-07-23 · 7 条相关

一手来源