RedNote AI 模型获 IMO 满分 42/42

A Chinese social app's AI model scored a perfect 42 at the International Mathematical Olympiad. RedNote, the company behind Xiaohongshu, built the system, called dots-note-3.0, still in beta. Google DeepMind and OpenAI reached 35 out of 42 last year, a gold-level showing. Only 7 of 666 human contestants in Shanghai matched that result this year. The IMO asks for written proofs, not final answers, and human graders read every line. A skipped case or an unstated condition costs points, even when the final answer is right. Most AI maths benchmarks only check the last number, so a lucky guess still scores full credit. That gap is why 42 out of 42 here means more than a high score on a normal test. This time the model read the original contest documents directly, with no human rewriting. It ran an agentic loop mixing natural-language reasoning with Python code it executed itself. Drafts got tested, broken, and repaired before anything went to the official graders. Self-review carries the weight here, since the system questioned its own assumptions repeatedly. Contest rules barred hints, corrections, and every other form of help during the run. RedNote made the promise, that the model will be open sourced in due course, but has not committed to any time yet. The winning model variant is also the smallest in the dots3 family, which includes two larger versions – jazz and aria – tailored for different use cases and compute costs. --- scmp. com/tech/article/3361482/worlds-first-ai-model-earn-perfect-score-maths-olympiad-comes-chinas-rednote  > **引用原帖 Rohan Paul (@rohanpaul_ai):** > And this comes from a theoretical physicist. https://t.co/0FRml3vJkh > https://x.com/rohanpaul_ai/status/2080185447788224602