AI 在数学领域也有点 AGI 的味道了。
昨天看到新闻，中国大模型在全球最高水平的数学竞赛 IMO 中拿下满分金牌。
这个比赛今年有 100 多个国家的数学尖子生参赛，但满分率只有 1%。比赛目还都是证明，非常考验抽象思考和逻辑推理能力。
去年 Gemini Deep Think 模型拿下金牌，但是只完成了6道中的5道。
今年拿满分的这个模型叫 dots note 3.0，没想到的是，这个模型的研发方竟然是小红书。。
前几天的时候，Fable 5参与构造了一个雅可比猜想反例。
该猜想自1939年提出以来悬而未决长达87年，连张益唐等顶尖数学家都曾在此折戟。
大模型现在的数学能力足以参与真正的数学发现。
数学可能是继 Coding 之后第二个 AGI 的领域，毕竟结果可验证，非常适合强化学习。
@aigc1024