小红书大模型 IMO 满分夺金:中国 AI 首次登顶数学奥赛:第三题解法让冠军选手直呼优雅
第67届国际数学奥林匹克竞赛(IMO2026)成绩近日揭晓,小红书大模型 dots-note-3.0以六道题全部答对的满分成绩斩获金牌。这是中国大模型首次获得 IMO 官方金牌水平认证,也是继谷歌 Gemini 之后全球第二个达到该成绩的大模型——且为满分,谷歌此前仅答对5/6题。
IMO 是国际数学奥林匹克竞赛的简称,每年汇聚全球顶尖中学生,陶哲轩等半数当代菲尔兹奖得主均出自该赛事。比赛分两天进行,每天4.5小时完成3道题,覆盖代数、组合、几何和数论四个方向,每题7分,满分42分。参赛者必须写出逻辑完整、可接受逐步审查的证明过程,这对大模型而言难度极高。
具体答题过程中,dots-note-3.0采用智能体方式,结合自然语言与 Python 代码执行推理解题,并借助递归自我批判能力审视自身论证。真正让人惊喜的是第三题——一道组合博弈问题。常见解法是将原问题转化为图论连通性问题再建立证明,而 dots-note-3.0转用归纳法,抓住了问题最本质的结构,设计出恰到好处的归纳对象与命题。
双 CMO 金牌得主刘涵祚评价其"正确且漂亮,结构紧凑、逻辑自然,即使放在 IMO 解答中也属于较为简洁优雅的一类"。CMO 金牌得主汪千桐认为其"简洁明了而且直击本质,每一步都顺理成章,但人类选手很难想到能从这个角度切入"。
对小红书而言,IMO 满分是一次重要的技术亮相。过去外界对其技术认知集中在内容社区、推荐算法和内容理解,基础模型领域的位置一直缺少公开权威的证明。IMO 满分不一样——42分就摆在那里,无需复杂解释,足以证明小红书已具备值得行业认真审视的基础模型能力,基础模型领域出现了一个值得关注的新玩家。据悉,dots-note-3.0即将开源。
-
07.23
原神月之八下半卡池雷电将军抽取推荐
-
07.23
饥困荒野手游航海玩法详析 饥困荒野手游航海系统入门与进阶指南
-
07.23
我开了个翡翠厅官网在哪下载 最新官方安装地址
-
07.23
程序员失业送外卖何时出 公测上线时间预告
-
07.23
原神月之八下半哥伦比娅配队思路详解
-
07.23
CF网络异常怎么办?快速解决穿越火线连接问题的实用技巧
-
-
下载
- |
-
-
下载
- 《行尸走肉第一章》免安装中文汉化硬盘版下载
- 单机|436 MB
- 一款以动作冒险为主题的游戏
-
-
下载
- 《街头霸王X铁拳》免安装中文汉化硬盘版下载
- 单机|111MB
- 一款非常好玩的格斗游戏
-
-
下载
- |
-
-
下载
- 《暗黑破坏神3》免安装繁体中文正式版下载
- 单机|7630 MB
- 一款以角色扮演为主题的游戏
-
-
下载
- 《马克思佩恩3》免安装硬盘版下载
- 单机|27033 MB
- 一款以第三人称射击为主题的游戏