小紅書（Xiaohongshu）のAIモデル「dots」が国際数学オリンピックで満点金メダルを獲得

小紅書の「dots-note 3.0」モデルが、第67回国際数学オリンピック（IMO 2026）の問題で満点を記録しました。形式言語に頼らず、LaTeX形式の課題を直接読み取り、自己批判プロセスを経て解法を導き出す能力が証明されました。