7月22日新闻,,,,,,小红书手艺REDtech昨晚发文宣布,,,,,,小红书dots-note 3.0大模子在真实国际数学奥林匹克竞赛(IMO 2026)中,,,,,,以42分的满分效果拿下金牌,,,,,,成为首个获得IMO官方金牌认证的中国大模子。。。。。这也是继谷歌Gemini模子之后,,,,,,全球第二个获得该效果的大模子。。。。。
小红书体现,,,,,,7月15日至16日,,,,,,第67届国际数学奥林匹克竞赛(IMO 2026)在上海举行。。。。。dots团队受IMO组委会约请,,,,,,携dots-note 3.0的内部版本加入了角逐。。。。。
经官方评阅,,,,,,dots-note 3.0六道题均获得满分7分。。。。。本届角逐中,,,,,,全球仅有7位人类选手获得满分。。。。。
两次CMO金牌得主刘涵祚体现,,,,,,“我们惊喜地发明,,,,,,模子最终给出了一条准确且漂亮的证实思绪。。。。。这种解法结构紧凑、逻辑自然,,,,,,纵然放在 IMO 解答中,,,,,,也属于较为精练优雅的一类”。。。。。CMO金牌得主汪千桐同样体现,,,,,,“模子第三题刘邦一侧的归纳法很是优雅,,,,,,选手常见的做法基本都是转换成图论的连通性来做,,,,,,但 dots 模子使用了很是巧妙的优雅的归纳法,,,,,,攻克了这题实质难的部分”。。。。。
据相识,,,,,,IMO对模子能力的焦点挑战,,,,,,是以全程完整、准确的证实来解决高难度数学问题。。。。。因此模子不但要谜底准确,,,,,,更要包管整个论证逻辑的严谨性和准确性。。。。。
小红书体现,,,,,,此次参赛模子为内部版本,,,,,,预期dots-note 3.0会在接下来的一段时间开源给社区,,,,,,加速AI社区的前进。。。。。