大语言模型+强化学习 → 数学中的 AI
融合 · 2024/07/25
DeepMind 的 AlphaProof 和 AlphaGeometry 2 解出国际数学奥林匹克 6 道题中的 4 道——28 分，达到银牌水平 — deepmind.google ↗
科学 · 教育
⚑ 支持信号
- 科学 / 蒂莫西·高尔斯: “证明 LLM 证明不了的东西”
- 科学 / 雨果·迪米尼尔-科潘: “OpenAI 一次发布数百份 AI 证明是“巨大的冲击”：对数学家来说，“已经是第二天了”；其中一个问题让他觉得像背着一个人跑马拉松，那人在最后 100 米跳下来，抢先冲过终点”
- 科学 / 杰克·克拉克: “AI 正在变得有创造力——无论是在数学上还是在 AI 研究本身，因此完全的递归自我改进如今更可能在 2027 年而不是 2028 年成为可能”
¶ cpmp95wjd