最新下载
热门教程
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
小红书大模型 IMO 满分夺金:中国 AI 首次登顶数学奥赛:第三题解法让冠军选手直呼优雅
时间:2026-07-22 17:53:55 编辑:袖梨 来源:一聚教程网
第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-22
- 谷歌浏览器官方网址-谷歌Chrome官网入口 07-22
- 《红色沙漠》鹿王追随者套装获取攻略-伊尔卡贝尔套装购买方法详解 07-22
- 智学网成绩查询入口网页学生端-智学网学生成绩查询入口 07-22
- 2026年4月新机前瞻:影像大杯接连发 07-22
- 126邮箱的免费登录入口-126邮箱的登录入口官网 07-22