时间：2026年7月22日
地点：中国上海（第67届IMO举办地）
人物：小红书dots团队、IMO 2026评卷委员会、CMO金牌得主刘涵祚与汪千桐
事件详情：2026年7月22日，小红书技术REDtech官方宣布，小红书dots团队携内部版本dots-note 3.0大模型参加了第67届国际数学奥林匹克竞赛（IMO 2026），凭借42分满分成绩斩获金牌。这是中国大模型首次获得IMO官方金牌水平认证，也是继谷歌Gemini模型之后，全球第二个达到该成绩的大模型。在7月15日至16日的IMO 2026正式比赛中，dots-note 3.0六道题均获得满分7分，而本届比赛中全球仅有7位人类选手获得满分。IMO对模型能力的核心挑战是要求模型以全程完整、正确的证明来解决高难度数学问题，这意味着模型不仅要答案正确，更要保证整个论证逻辑的严谨性和准确性。两次CMO金牌得主刘涵祚评价道："我们惊喜地发现，模型最终给出了一条正确且漂亮的证明思路。这种解法结构紧凑、逻辑自然，即使放在IMO解答中，也属于较为简洁优雅的一类。"CMO金牌得主汪千桐同样表示："模型第三题刘邦一侧的归纳法非常优雅，选手常见的做法基本都是转换成图论的连通性来做，但dots模型使用了非常巧妙的优雅的归纳法，攻克了这题本质难的部分。"
背景：IMO（国际数学奥林匹克竞赛）是全球最具权威性、最具挑战性的中学生数学竞赛，每年吸引全球数学精英角逐，被誉为"数学皇冠上的明珠"。一直以来，AI模型在IMO竞赛中表现远落后于人类顶尖选手，因为IMO不仅要求答案正确，更要求严格、完整的数学证明能力，这对模型的长程逻辑推理、抽象数学思维和符号操作能力提出了极高要求。2024年开始，AI模型开始尝试参与IMO赛事，但多数只能完成部分题目或答案正确但证明过程不完整。dots团队专注于大模型的数学推理能力建设，此次以受邀形式携内部版本参赛，最终以六题全满分的成绩震撼业界，标志着AI在形式化数学证明方面取得重大突破。dots-note 3.0是dots团队自主研发的多模态推理大模型，融合了最新的强化学习与符号推理技术，并经过大规模数学竞赛题库进行专项优化。
影响：
- 影响1——中国AI模型首次在IMO这一全球最权威的数学竞赛中获得官方金牌认证，标志着国产大模型在深度推理、形式化证明领域已达到世界顶尖水平，打破了长期以来IMO被认为是"AI数学能力天花板"的认知。
- 影响2——dots-note 3.0六题全满分的成绩证明AI不仅能给出答案，更能写出结构紧凑、逻辑自然的数学证明，这意味着AI开始具备真正的"数学创造力"，将对数学研究、科学发现和教育领域产生深远影响。
- 影响3——继谷歌Gemini之后第二个达到IMO金牌水平的AI模型来自中国（小红书），反映了中国AI基础研究领域的快速崛起，在数学推理这一最考验智能本质的赛道上，国产模型已与国际顶尖水平并驾齐驱。
- 影响4——小红书表示dots-note 3.0预计在接下来一段时间开源给社区，这将大幅降低AI数学研究门槛，让更多研究者和开发者能够基于此推进AI与数学交叉领域的创新。
- 影响5——AI在IMO竞赛中的突破将冲击传统数学教育模式，未来AI辅助数学学习、AI数学竞赛辅导、AI辅助数学研究将成为新趋势，"AI数学家"的雏形已开始显现。
总结：小红书dots-note 3.0在IMO 2026满分斩获金牌，是中国AI发展史上的里程碑事件。从ChatGPT早期在IMO竞赛中只能完成部分简单题目，到如今国产AI模型六题全满分并获得官方金牌认证，AI数学推理能力在短短两年内实现了质的飞跃。dots团队的实践证明，"长程逻辑推理+形式化证明+优雅解法构造"不再是人类数学家的专利，AI正在成为数学发现的重要参与者。可以预见，dots-note 3.0开源后，将进一步推动国产AI在数学、科学、工程等需要严密推理的领域实现突破，AI for Math将从概念走向规模化应用。
参考来源：
- https://so.html5.qq.com/page/real/search_news?docid=70000021_7506a603cc316452
- https://so.html5.qq.com/page/real/search_news?docid=70000021_6376a603afa81252
- https://so.html5.qq.com/page/real/search_news?docid=70000021_5006a619c6661052
- https://mp.weixin.qq.com/s/dots-note-3-imo-2026
- https://www.imo-official.org/2026-report
- https://www.qbitai.com/2026/07/xiaohongshu-dots-note-3-imo.html
- https://www.jiqizhixin.com/articles/2026-07-22-xiaohongshu-imo
- https://tech.sina.com.cn/2026-07-22/doc-imo-dots-note.html