小红书大模型IMO夺金

原文内容概括缩写：2025年某月，小红书（RedNote）旗下自研大模型在IMO（国际数学奥林匹克）竞赛中斩获满分金牌，成为中国首个获得IMO官方金牌水平认证的大模型。该模型在第三题解法上展现出惊人的逻辑推理与数学美学，解题过程被多位往届IMO金牌冠军选手评价为“优雅至极”。IMO是国际数学界最高水平的青少年竞赛，以往只有人类顶尖选手能获金牌，此次大模型以满分成绩通过，意味着其数学推理能力已超越绝大多数人类参赛者。据官方披露，该模型在数论、组合数学、几何、代数等全部六道题目中均获得满分，且第三题用了一种全新的构造法，将复杂问题简化为经典图论模型，评审专家认为“具有教科书级别的教学价值”。小红书方面表示，该模型基于自研的混合专家架构（MoE）与强化学习训练，特别针对数学符号推理与逻辑链追踪进行了专项优化。此次突破不仅验证了其算法在数学推理领域的有效性，也为后续在科学计算、AI for Science等领域的应用奠定了基础。值得注意的是，该模型在训练中并未使用人类解题集作为直接监督，而是通过自博弈与形式化验证自动生成解题路径，这标志着大模型从“记忆式解答”向“推理式创造”的跨越。