Google DeepMind 的AI系统现在可以解决复杂的数学问题

1. Google DeepMind 开发了两个 AI 系统，AlphaProof 和 AlphaGeometry 2，这些系统可以解决涉及高级推理的复杂数学问题。 2. 这些系统共同解决了国际数学奥林匹克竞赛（IMO）中六个问题中的四个，获得银牌。 3. 这是任何 AI 系统首次在这些类型的问题上取得如此高的成功率。 4. 涉及高级推理的数学问题对 AI 系统来说很难，因为它们需要形成和使用抽象、复杂的分层规划和设置子目标。 5. AlphaProof 是一个基于强化学习的系统，它在形式编程语言 Lean 中训练自己来证明数学语句。 6. Gemini AI经过微调，可以自动将数学问题从自然语言翻译成形式语句，从而创建了一个大型的形式数学问题库。 7. 自动化这个过程对于数学界来说是一个巨大的进步，使得发表结果的正确性更高，并且促进了更多的协作工作。 8. AlphaGeometry 2 优化了几何问题的解决方案，并且与其前身相比，它在合成数据上进行了更多的训练。 9. 两个著名的数学家检查了系统的提交，并为它们总共授予了 28 分，最高可达 42 分，这将使人类参与者获得银牌。 10. 创建能够解决更具挑战性的数学问题的 AI 系统可能会为人类和 AI 之间的激动人心的合作铺平道路，并帮助我们更好地了解人类如何处理数学。