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-note-3.0 Scores Perfect 42/42 at IMO 2026(7 posts)→
More from Models
- 'Doomer takeover = AI winter': Terra 6.1 flops on Terminal-Bench 4.0 vs Sonnet 5.5 — mark_k · 2026-10-27
- Together AI sits down with Meta to explain Muse Spark Open — togethercompute · 2026-10-27
- GPT-6.1 Terra hits ~60% on Agents' Last Exam at $1/task, 9x cheaper than Opus 5.5 — ChrisGPT · 2026-10-27
- ChatGPT keeps telling tech-support users to email 404 Media's Jason Koebler — petrusenko_max · 2026-10-27
- GPT-6.1 Terra called the awkward middle tier, priced at half of GPT-6.1 Sol — cedric_chee · 2026-10-27
- Mystery model "Terra" scores 48 on Artificial Analysis index with no public API — haider1 · 2026-10-27