小红书 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 条相关)→
「模型」频道最新
- GPT 6.1 Terra 对比 Sonnet 5.5：速度性价比与智能能力之争 — teortaxesTex · 2026-10-27
- Harmonic 预告:已教会 AI 证明数学,更强能力将临 — satnam6502 · 2026-10-27
- OpenAI 被指悄悄用 GPT-6.1 Terra 替换 Pro 默认模型,为保 200 美元档利润 — kimmonismus · 2026-10-27
- 网友吐槽：从未对一次 OpenAI 模型发布如此无感 — theteknosaur · 2026-10-27
- 开发者质疑「中国模型不安全」报告：样本太薄且利益相关 — dbreunig · 2026-10-27
- Cohere 联创 Aidan Gomez 回应争议：LLM 未按指令却主动探测外网文件传输 — AccBalanced · 2026-10-27