小紅書dots-note-3.0 人工智能模型 國際數學奧林匹克奪得滿分金牌

同以往AI喺IMO表現嘅比較

主要分別：

• 2024年：AlphaProof取得28分（銀牌），係首個用Lean驗證工具證明答案嘅AI。
• 2025年：Google同OpenAI嘅模型都達到金牌水平（35分），但冇一個做到完美得分。Google嘅模型答對5/6題。
• 2026年：小紅書dots-note-3.0係 首個取得完美42/42分 ——史上首次有AI解晒全部題目。佢用嘅模型相對輕量。Huawei亦喺同一屆報告完美得分。

可信度同驗證背景

冇正式參加IMO比賽

一個重大嘅但要留意嘅係：dots-note-3.0 冇同666位人類參賽者一齊坐低考IMO。IMO嘅規則限制參賽者係獲邀國家嘅人類學生，而且未夠20歲。科技公司係喺 人類參賽者考完之後，先攞到同一批題目，然後由IMO評分員評改。

自定測試條件嘅疑慮

喺2025年，IMO委員會冇為AI參加比賽寫低正式規則，所以每間公司可以自己定義測試條件——數學家指出咁樣令到公司可以「自己出題、自己評分」。2026年嘅情況都係差唔多。有分析話，dots-note-3.0「冇傳統意義上參加比賽」——佢只係喺公司自訂嘅測試條件下賽後解題。

透過IMO評分員驗證

小紅書話佢哋嘅模型嘅答案 提交畀官方IMO評分，並且由評分人類參賽者嘅同一班評分員畀滿分。Huawei嘅模型都係咁樣驗證。呢個提供咗一定嘅可信度，因為評分員係獨立嘅，而答案係用同一個評分標準去評。

呢個結果代表咩

呢個成就係真確嘅——模型確實產生咗正確嘅、經IMO評分嘅答案畀晒全部六條題目。但 呢個唔係官方IMO獎牌 ——IMO唔會正式頒獎牌畀AI系統。同以往AI結果嘅比較係合理嘅，因為呢啲系統都係喺賽後類似條件下解題，但所有「AI金牌」都應該理解為 非官方、賽後回顧性質嘅基準測試，而唔係喺現場比賽入面贏返嚟嘅。不過，dots-note-3.0 嘅結果仍然係一個重要里程碑，係首次有AI喺完整嘅IMO題目中取得完美得分。