小红书大模型IMO满分夺金

北京时间2026年7月，国际数学奥林匹克竞赛（IMO）官方公布成绩，小红书旗下大模型dots-note-3.0以满分42分（六道题全部答对）夺得金牌，成为中国首个获得IMO官方金牌水平认证的大模型。此前，谷歌Gemini模型曾在2024年IMO中答对5/6题（得35分），未能获得满分。此次小红书模型不仅满分夺冠，其中第三题的解法被多位IMO冠军选手评价为“优雅”“简洁”，展现出超越传统人类解题思路的推理能力。据官方披露，dots-note-3.0在训练过程中采用了强化学习与符号推理结合的新架构，在数论、组合数学、几何等分支上均达到人类顶尖选手水平。该模型由小红书AI实验室研发，基于自研的千亿参数基座模型，并在数学专项数据集上进行了深度微调。IMO官方表示，此次满分成绩证明了大模型在形式化推理、多步逻辑推导等核心能力上已能与人类顶尖数学天才媲美，对AI在科学发现、工程优化等领域的应用具有里程碑意义。值得注意的是，小红书此次并未公开模型参数量及具体训练细节，但业界普遍认为其技术路线接近“思维链+形式化验证”的混合方法。