小红书内部模型 dots-note-3.0 在 2026 年 IMO 中获得满分 42 分，成为首个在官方评卷中拿到满分的 AI 模型；同期 Anthropic 的数学家也使用 AI 证明了雅可比猜想的反例。
📝 详细摘要
归藏报道了多个 AI 数学领域的重大进展：小红书（原）的 dots-note-3.0 内部模型在 2026 年国际奥林匹克数学竞赛（IMO）中以满分 42 分获得金牌，超过金牌线 13 分，这是首次有 AI 模型在 IMO 官方评卷中拿到满分。同时，Anthropic 的数学家使用 Fble 5 模型证明了雅可比猜想的反例。这些事件表明大模型在数学发现上的能力越来越强。
📊 文章信息
AI 初评：85
来源：歸藏(guizang.ai)(@op7418)
作者：歸藏(guizang.ai)
分类：人工智能
语言：中文
阅读时间：2 分钟
字数：367
标签： AI 数学, IMO, 小红书 AI, dots-note-3.0, Anthropic