小红书 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-note3.0 满分斩获 IMO 金牌(2 条相关)→
「模型」频道最新
- Gemini 3.6 Flash 的关键还是效率 — Angaisb_ · 2026-07-21
- Google 发布三款 Gemini 模型，含最强版和安全版 — nordicinst · 2026-07-21
- Gemini 界面疑似先上了 3.6 Flash，3.5 Pro 还没等到 — xiaohu · 2026-07-21
- 故意否定第一版答案，能逼 GPT 和 Gemini 吐出更多漏洞 — huangyun_122 · 2026-07-21
- Benchmark 差距可能低估了 Ant 模型的能力宽度 — gleech · 2026-07-21
- 多款前沿大模型生成红色法拉利 SVG 效果横评 — Able-Line2683 · 2026-07-21