2025-02-08 07:48
谷歌旗下人工智能研究实验室DeepMind近日宣布，其开发的AI系统AlphaGeometry2在国际数学奥林匹克竞赛（IMO）几何问题解决方面取得了显著进展。该系统不仅能够解决过去25年IMO中84%的几何问题，其表现甚至超过了平均金牌得主。
AlphaGeometry2是DeepMind在今年1月发布的AlphaGeometry系统的改进版本。该系统结合了谷歌Gemini系列AI模型中的语言模型和一个“符号引擎”，通过数学规则推导问题的解决方案，并为给定的几何定理提供可行的证明。为了克服几何训练数据匮乏的问题，DeepMind为AlphaGeometry2创建了超过3亿个不同复杂度的定理和证明的合成数据。
在测试中，AlphaGeometry2成功解决了45个IMO几何问题中的42个，超过了平均金牌得主的得分。然而，该系统在处理涉及可变数量点、非线性方程和不等式的问题时仍存在局限性。此外，在更具挑战性的IMO问题上，AlphaGeometry2的表现也不尽如人意，仅能解决29个问题中的20个。
DeepMind认为，解决复杂几何问题的新方法可能是实现更强大人工智能的关键。这一突破不仅展示了AI在数学领域的潜力，也为未来通用人工智能模型的发展提供了重要参考。
免责声明：本文内容由开放的智能模型自动生成，仅供参考。
扫一扫关注微信