国际数学奥林匹克（IMO）的考场上，第一次出现了一个非人类的“选手”——它没有纸笔，没有草稿纸，只用一行行代码推理，便拿下了满分。

在2026年IMO中，小红书自研大模型以满分42分的成绩完成所有六道题目的解答。其中第三题的解法，更让在场的人类冠军选手直言“优雅”。

一、IMO：AI数学推理的“终极考场”

IMO是全世界难度最高、最具权威性的中学生数学竞赛。六道题目涵盖代数、几何、数论与组合数学，每题7分，满分42分。IMO的题目不仅要求严密的逻辑推导，更要求解题者具备创造性思维——能够在看似无关的数学对象之间建立联系，发现隐藏的结构。

对AI而言，IMO是数学推理能力的“试金石”。与常规数学题不同，IMO题目往往没有固定的解题模板，无法通过模式匹配或检索已知解法来完成。它要求模型真正“理解”数学结构，并自主构建证明路径。

二、满分背后：从“计算”到“推理”的跨越

小红书大模型此次IMO满分，标志着AI数学推理能力的质变。

技术层面，小红书团队在模型训练中引入了几项关键创新：

形式化推理框架：模型在解题过程中将自然语言推理步骤同步转化为形式化逻辑表达，确保每一步推导在逻辑上严格自洽。

多路径探索机制：对同一道题目生成多种解题思路，再通过验证器筛选最优路径，避免陷入单一思路的死胡同。

几何与代数推理融合：针对几何题，模型能够将几何关系转化为代数方程，统一在代数框架下完成推理——这正是IMO第三题“优雅”解法的技术基础。

三、第三题：让冠军选手说“优雅”的那道题

IMO 2026的第三题是一道几何题，涉及三角形内切圆、外接圆与一条特殊割线的复杂关系。传统解法通常需要添加多条辅助线，经过十几步逻辑推导才能完成证明。

小红书大模型的解法却另辟蹊径。它没有添加任何辅助线，而是通过建立坐标系，将几何条件转化为一组代数方程，再通过巧妙的变量替换，仅用7步便完成了完整证明。整个推理链条干净利落。

一位IMO金牌得主在赛后评价：“这个解法完全出乎意料。如果你给我三天时间，我可能都想不到可以这样做。它没有复杂的构造，只是换了一个角度看待问题——把几何问题翻译成代数语言之后，答案几乎自己跳出来了。”

这正是“优雅”的来源：不是堆砌复杂的技巧，而是用一个极简的视角让复杂的问题自动瓦解。

四、行业意义：AI正在重新定义“数学能力”

长期以来，数学被认为是人类智能的“最后堡垒”——语言可以模仿，艺术可以生成，但数学推理需要真正的理解和创造力。小红书大模型IMO满分，正在松动这一认知。

但需要澄清的是：AI“解出”IMO题目的方式与人类不同。人类靠的是几何直觉、数感、长期训练形成的模式识别；AI靠的是形式化推理、搜索空间剪枝和代数化转化。两者路径不同，但通往了同一个终点。

这意味着，AI在数学推理上的突破，不会取代人类数学家，而是为数学研究提供一种新的工具——一个能够“从不同角度思考问题”的协作伙伴。正如计算机辅助证明在四色定理上所做的贡献，AI辅助推理将成为数学探索的常规配置。

小红书团队表示：“我们的目标不是让AI成为数学竞赛选手，而是让模型具备更强的逻辑推理能力，将其应用到科学研究、代码验证、金融建模等更广泛的领域。”

当AI能够以满分的成绩通过IMO，它证明了数学推理这道“人类智能的最后防线”并非不可逾越。真正值得期待的，不是AI在竞赛中拿了多少分，而是这种推理能力将如何改变科学研究的方式——让复杂问题的解决，从“靠灵感”走向“可系统化构造”。