BestBlogs.dev📌 一句话摘要
小红书内部模型 dots-note-3.0 在 2026 年 IMO 中获得满分 42 分，成为首个在官方评卷中拿到满分的 AI 模型；同期 Anthropic 的数学家也使用 AI 证明了雅可比猜想的反例。
📝 详细摘要
归藏报道了多个 AI 数学领域的重大进展：小红书（原）的 dots-note-3.0 内部模型在 2026 年国际奥林匹克数学竞赛（IMO）中以满分 42 分获得金牌，超过金牌线 13 分，这是首次有 AI 模型在 IMO 官方评卷中拿到满分。同时，Anthropic 的数学家使用 Fble 5 模型证明了雅可比猜想的反例。这些事件表明大模型在数学发现上的能力越来越强。