小红书dots模型取得IMO 2026满分金牌成绩
AI 导读小红书dots团队携dots-note-3.0内部版本参加IMO 2026，六题均获满分7分，以42/42分取得满分金牌，全球仅7位人类选手获满分。该模型不依赖形式化语言，直接读取原始LaTeX题目，通过Proof、Verify、Refine三环节递归自我批判完成解题。dots-note-3.0是dots3系列最轻量级模型，预期将开源。
来源：公众号：小红书技术 · mp.weixin.qq.com
事件后续1
查看事件全部- 小红书dots模型取得IMO 2026满分金牌成绩公众号：小红书技术 · 7 月 21 日