AI首获IMO满分金牌

原文内容概括缩写：在上月落幕的第67届国际数学奥林匹克（IMO 2026）中，全球共有7名人类选手（包括中国代表队邓乐言、刘澈、张柏伦）获得42分满分金牌。与此同时，大模型“dots-n”也交出了满分答卷，这是AI首次在IMO官方赛事中获得满分金牌，标志着AI在数学推理领域实现里程碑式突破。该模型由小红书研发，其核心创新在于一套“自我纠错机制”——模型在解题过程中会动态评估每一步推理的置信度，当检测到矛盾或低概率路径时，主动回溯并重新尝试，而非简单依赖链式推理。这一机制大幅提升了复杂数学问题的求解成功率，尤其在几何、数论等需要严密的逻辑自洽的题目上表现突出。据悉，该模型在训练阶段并未专门针对IMO题目进行强化，而是基于通用数学语料和自监督学习，结合强化学习中的奖励信号优化纠错策略。业界认为，这一技术路径有望迁移至其他需要严谨推理的领域，如代码生成、科学发现、法律论证等，同时为AI在竞赛级推理任务中超越人类提供了可行范式。