Google DeepMind 接近攻克高级数学

Google DeepMind 的研究人员开发了两个新的 AI 系统：AlphaProof 和 AlphaGeometry 2，这些系统在解决复杂的数学问题方面取得了显著的进步。这些系统一起解决了国际数学奥林匹克竞赛的问题，这是一个面向天才学生的全球竞赛。尽管他们没有获得金牌，但他们的表现接近于顶尖的人类数学家。AI 系统展示了他们在代数、几何和数论方面的能力。在一个问题中，他们需要证明一个涉及角度和中点的几何关系。另一个挑战涉及在隐藏怪物的游戏板上进行战略移动和记忆。总之，这些 AI 系统的突破使他们更接近于在复杂的数学领域中超过人类数学家。