Xiaohongshu's dots-note3.0 Scores Perfect 42/42 at IMO 2026 with End-to-End Proofs
小红书技术REDtech · wechat · 2026-07-21
The dots team from Xiaohongshu announced that its internal model, dots-note3.0, participated in the 67th International Mathematical Olympiad (IMO 2026) and won a gold medal with a perfect score (42/42), a feat achieved by only 7 human contestants globally.
Technical Highlights: Unlike traditional approaches relying on translating problems into formal languages like Lean, dots-note3.0 directly reads raw LaTeX problems and operates end-to-end in an Agentic manner, combining natural language reasoning with Python code execution.
Core Mechanism: The model emphasizes "recursive self-critique," utilizing a continuous loop of Proof, Verify, and Refine to conduct multi-round parallel reasoning and self-correction. The team noted that dots-note3.0 is the lightest version in the upcoming dots3 series, which is expected to be open-sourced to the community.
Related event: Xiaohongshu's dots-note3.0 Wins IMO Gold with Perfect Score(2 posts)→
More from Models
- Jack Clark says OpenAI’s internal-deployment safety notes help the whole frontier community — jackclarkSF · 2026-07-21
- Mindlab Research puts Macaron-V1-Venti on Hugging Face — External_Mood4719 · 2026-07-21
- ChatGPT often explains the wall before answering whether it is tilting — Aware-sky-3489 · 2026-07-21
- Grok website traffic rose 38.15% YoY to 736 million Q2 visits — XFreeze · 2026-07-21
- Neill Blomkamp post teases a dark, cinematic vision of Hollywood’s AI future — adariostrange · 2026-07-21
- Google appears to have silently released Gemini 3.6 Flash with new pricing — RetiredApostle · 2026-07-21