小红书 dots-note3.0 满分斩获 IMO 2026，端到端证明能力比肩顶尖人类选手
小红书技术REDtech · wechat · 2026-07-21
小红书 dots 团队宣布，其内部模型 dots-note3.0 受邀参加第67届国际数学奥林匹克（IMO 2026），并以满分（42/42分）的成绩斩获金牌，全球仅7位人类选手获此成绩。
技术亮点：与依赖人工将题目翻译为形式化语言（如Lean）的传统路径不同，dots-note3.0 能够直接读取原始 LaTeX 题目，以 Agentic 方式端到端运行，结合自然语言推理与 Python 代码完成解题。
核心机制：该模型重点优化了“递归自我批判”能力，通过 Proof、Verify 和 Refine 三个环节的持续多轮并行推理与自我修正，确保证明过程经得起专业评阅。官方表示，dots-note3.0 是 dots3 系列中最轻量的版本，未来预期将开源给社区。
所属事件:小红书 dots-note-3.0 满分斩获 IMO 2026 金牌(7 条相关)→
「模型」频道最新
- AI Sextet 活动:6 模型 14 天完全免费,含 DeepSeek/Qwen/GLM — airesearch12 · 2026-09-11
- BullshitBench 榜单更新:GPT-6-Astra 领先历代 OpenAI 模型仍未及 Anthropic — scaling01 · 2026-09-11
- Agent Astra 在 GauntletBench 得 83%,成首个超人类基线的电脑操作 Agent — ducha_aiki · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用户呼声下 DeepSeek V4 Pro API 宣布继续服务,计费不变 — teortaxesTex · 2026-09-11