在2026年国际数学奥林匹克竞赛（IMO）中，小红书dots-note-3.0模型以42分满分夺冠，成为首个在该赛事上取得全对成绩的AI系统。

制胜关键在于其搭载的“证明-验证-完善”（Proof-Verify-Refine）自我纠错机制。该机制让模型在生成答案后自动进行验证和修正，有效应对了长链条推理中的错误累积，从而在IMO这类高难度测试中展现出类人的稳健性。这一突破也揭示了大模型在复杂数学任务上不可忽视的潜力。

打开网易新闻 查看精彩图片