AI HOT (Curated Pool)Jul 21, 2026, 19:06 UTC+8

Xiaohongshu's dots model scores perfect gold at IMO 2026 without formalization

小红书 dots 模型获 IMO 2026 满分金牌

Xiaohongshu's dots team entered dots-note 3.0 in the 67th IMO 2026. It scored a perfect 42/42 across all six problems, earning a gold medal—only seven human contestants matched that. The model reads raw LaTeX problems directly, solves them end-to-end via recursive self-critique, and does not rely on formalization. dots-note 3.0 is the lightest model in the dots3 series and is expected to be open-sourced.

Why it matters: Xiaohongshu's dots team scored a perfect 42/42 at IMO 2026 with dots-note 3.0, matching only 7 human contestants. The model reads raw LaTeX problems end-to-end via recursive self-critique, skipping formalization — a meaningful architectural differentiator. The team says it wil...

Read the original ↗Export Markdown

Take

The headline number is hard to ignore: perfect 42/42 gold at IMO 2026, a result only seven human contestants achieved. dots-note 3.0 reads raw LaTeX problems directly, skips formalization, and solves end-to-end via recursive self-critique. The team says it's the lightest model in the dots3 series and will be open-sourced.

I'd discount this a bit for now—we only have an RSS snippet. No IMO official results page, no solution traces, no model card. The post doesn't spell out problem difficulty, scoring process, or whether external tools were used.

If the numbers hold, the useful bit isn't "AI wins another medal." It's that Xiaohongshu packed competition-level math reasoning into a lightweight model and plans to open-source it. That's a concrete signal for teams building math tutoring or research assistant products.

Source: AI HOT (Curated Pool) · mp.weixin.qq.com
Published: Jul 21, 2026, 19:06 UTC+8 · Jul 21, 2026