小红书开源IMO满分模型

原文内容概括缩写： 上个月，小红书自研大模型「dots-note-3.0」在国际数学奥林匹克竞赛（IMO）中斩获满分42分，这是AI首次获得官方认证的IMO满分，创造了历史记录。该模型在几何、代数、数论等复杂数学推理任务上展现出超越以往AI系统的能力，被业界视为推理大模型的重要里程碑。此后，社区和开发者最关心的问题就是模型何时开源。近日，小红书正式在Hugging Face平台开源了同系列模型「dots3-note」，该版本继承了dots-note-3.0的核心架构和训练方法，但做了轻量化优化，使得更多研究者和开发者可以基于该模型进行二次开发与部署。开源内容包括模型权重、推理代码以及部分训练配置。Hugging Face上已发布详细的技术文档和示例，供全球AI社区使用。这一开源动作不仅兑现了小红书对社区的承诺，也进一步推动了中国AI开源生态的发展。业内分析认为，dots3-note开源将降低高级数学推理能力的获取门槛，有望在数学教育、科学计算、自动定理证明等场景中发挥重要作用。同时，该模型采用的强化学习与符号推理结合的技术路线，也为其他大模型厂商提供了新的研发思路。