参考消息网7月25日报道 据香港《南华早报》网站7月22日报道，人工智能(AI)模型首次在国际数学奥林匹克竞赛中获得满分。

据报道，2026年国际数学奥林匹克竞赛近日公布比赛结果，由中国社交平台小红书开发的dots-note-3.0模型答对全部六道题，获得42分的满分成绩。

这一note版本尚处于测试阶段，是目前dot3系列中最为轻量的模型。该系列还包括两个更大量级的版本——jazz和aria——专为不同的使用场景和算力成本定制。

据报道，小红书表示将在“不久的将来”开源dots-note-3.0模型。

国际数学奥林匹克竞赛始于1959年，每年举办一次，被公认为全球最顶尖的数学竞赛，对AI系统而言也是如此。国际数学奥林匹克竞赛要求解题给出有严格论证支撑的证明过程，且不能有逻辑错误或遗漏条件。

报道称，AI此前参赛的成绩就相当不错。去年的国际数学奥林匹克竞赛上，谷歌深层思维公司和开放人工智能研究中心的表现达到金牌水准，在满分42分的比赛中均获得35分。

2024年的竞赛中，谷歌深层思维公司的AlphaProof和AlphaGeometry 2模型获得28分，相当于银牌水平，但需要人类专家手动将题目翻译为逻辑语言供AI处理。

今年，小红书的模型直接处理了原始的数学竞赛文件，无需人工将其翻译为特殊编程语言。

dots-note-3.0模型采用一个“智能体”框架，能够将自然语言推理和Python编程执行结合起来，对其证明过程进行起草、测试和完善。

小红书表示，该系统性能强大，源于其能仔细检查自己的推理，质疑假设，并在提交最终解决方案之前通过多步骤自我审查循环持续修正错误逻辑。

另外，由六名成员组成的中国代表队在国际数学奥林匹克竞赛上斩获第一名，其中三人取得满分。（编译/张斯昊）