AI 在数学领域也有点 AGI 的味道了。

昨天看到新闻，中国大模型在全球最高水平的数学竞赛 IMO 中拿下满分金牌。

这个比赛今年有 100 多个国家的数学尖子生参赛，但满分率只有 1%。比赛题目还都是证明题，非常考验抽象思考和逻辑推理能力。

去年 Gemini Deep Think 模型拿下金牌，但是只完成了6道题中的5道。

今年拿满分的这个模型叫 dots note 3.0，没想到的是，这个模型的研发方竟然是小红书。。

前几天的时候，Fable 5参与构造了一个雅可比猜想反例。

该猜想自1939年提出以来悬而未决长达87年，连张益唐等顶尖数学家都曾在此折戟。

大模型现在的数学能力足以参与真正的数学发现。

数学可能是继 Coding 之后第二个 AGI 的领域，毕竟结果可验证，非常适合强化学习。