公众号正文需在微信内阅读，站内仅提供摘要。
小红书dots模型取得IMO 2026满分金牌成绩
精选理由
dots模型在IMO满分验证了递归自我批判方法的有效性，这种不依赖形式化验证、通过自我质疑改进推理的路径，可能为科学研究等难以量化的复杂任务提供新的解决思路。
AI 摘要
小红书dots团队携dots-note-3.0内部版本参加IMO 2026，六题均获满分7分，以42/42分取得满分金牌，全球仅7位人类选手获满分。该模型不依赖形式化语言，直接读取原始LaTeX题目，通过Proof、Verify、Refine三环节递归自我批判完成解题。dots-note-3.0是dots3系列最轻量级模型，预期将开源。
公众号正文需在微信内阅读，站内仅提供摘要。
在微信中打开原文mp.weixin.qq.com（在新标签页打开）