主要来源歸藏(guizang.ai)
查看原文事件专题 · 官方一手
dots-note-3.0在IMO获42分满分，首个模型官方评卷满分
小红书团队开发的dots-note-3.0在2026年国际数学奥林匹克竞赛（IMO）中以42分满分夺得金牌，超过金牌线13分。这是首个获得IMO官方评卷满分的模型。该模型是dots 3系列中最轻量的内部版本，计划近期开源。在同一周，Anthropic数学家使用Claude模型证明了雅可比猜想的一个反例，表明大模型在数学发现中日益重要。
当前结论
dots-note-3.0在IMO拿到满分，之前从没有模型做到过，而且它是最轻量的版本，马上开源，想看看AI如何解数学证明题的可以关注。
11 个信源63° AI 热度最后更新 2026/7/22 05:51:37
证据链
相关来源 1IT之家
查看原文相关来源 2Geek
查看原文相关来源 3AWS Machine Learning Blog
查看原文相关来源 4Anthropic
查看原文相关来源 5techcrunch
查看原文相关来源 6shao__meng
查看原文相关来源 7Simon Willison’s Weblog
查看原文相关来源 8Guillermo Rauch
查看原文相关来源 9arXiv: Anthropic
查看原文相关来源 10Decoder
查看原文冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。