小红书大模型获IMO满分金牌
小红书技术团队研发的dots-note3.0大模型在第67届IMO（2026年）中以42分满分获得金牌，成为国内首个获此认证的大模型，也是全球第二个。模型解题思路简洁优雅，展现了强大的数学推理能力，预计将开源。
7月22日，一个让国内AI圈振奋的消息传来——小红书技术团队REDtech正式宣布，他们研发的dots-note 3.0大模型，在真实国际数学奥林匹克竞赛（IMO 2026）中，以42分的满分成绩拿下金牌。这不仅是国内首个获得IMO金牌认证的大模型，更是继谷歌Gemini之后，全球第二个达成这一成就的模型。
事情是这样的。7月15日至16日，第67届IMO（2026年）在上海举办。dots团队受组委会邀请，带着dots-note 3.0的内部版本参加了比赛。最终评阅结果显示，六道题全部获得满分7分。要知道，本届比赛中，全球仅有7位人类选手拿到了满分——模型的实力已经可以与顶尖人类选手正面抗衡。
真正让人惊艳的，不只是分数。两次CMO金牌得主刘涵祚评价道：“我们惊喜地发现，模型最终给出了一条正确且漂亮的证明思路。这种解法结构紧凑、逻辑自然，即使放在IMO解答中，也属于较为简洁优雅的一类。”另一位CMO金牌得主汪千桐也补充：“模型在第三题刘邦一侧的归纳法非常优雅。选手常见的做法基本都是转换成图论的连通性来做，但dots模型用了非常巧妙的归纳法，直接攻克了这题本质难的部分。”
IMO对模型能力的核心挑战，在于要求全程完整、正确的证明来解决高难度数学问题。这意味着，模型不仅要答案正确，更要保证整个论证逻辑的严谨性和准确性——这恰恰是当前大多数AI模型最薄弱的环节。
值得关注的是，此次参赛的模型为dots-note 3.0的内部版本。小红书团队表示，预期会在接下来的一段时间内将该模型开源给社区，加速AI社区的进步。如果真能兑现，这将是国内大模型在数学推理领域的一次重要突破。
正软商城本月促销专区，汇集办公、设计、安全、影音、系统工具及AI软件等正版软件优惠活动，提供限时折扣、特价授权和优惠购买信息，活动库存及价格以页面实时展示为准。
正软商城装机必备专区，精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件，帮助用户快速完成新电脑软件配置。
正软商城Windows软件专区，汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件，提供软件介绍、系统要求、正版授权及购买下载服务。
正软商城macOS软件专区，精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具，提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。
正软商城iOS软件专区，精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用，提供功能介绍、适用设备、系统要求和正版获取方式等信息。
正软商城AI软件专区，汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具，提供功能介绍、适用平台、收费方式及正版购买信息。
正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法，同时介绍常用PDF软件和工具的使用技巧。
赤友清理大师是一款为 Mac 设计的智能清理优化工具，可精准扫描垃圾、大文件、重复文件等，释放磁盘空间。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
