跳到正文
北京时间
原文
公众号:小红书技术(dots.llm)· 小红书技术REDtech·· 2026-07-21精选AI 评分77

小红书dots模型取得IMO 2026满分金牌成绩

AI 导读

小红书dots团队携dots-note-3.0内部版本参加IMO 2026,六题均获满分7分,以42/42分取得满分金牌,全球仅7位人类选手获满分。该模型不依赖形式化语言,直接读取原始LaTeX题目,通过Proof、Verify、Refine三环节递归自我批判完成解题。dots-note-3.0是dots3系列最轻量级模型,预期将开源。

推荐理由

dots模型在IMO满分验证了递归自我批判方法的有效性,这种不依赖形式化验证、通过自我质疑改进推理的路径,可能为科学研究等难以量化的复杂任务提供新的解决思路。

来源:公众号:小红书技术(dots.llm) · mp.weixin.qq.com

相关事件