AlphaGeometry from Google DeepMind

一个AI系统，解决奥林匹克几何问题的水平接近人类金牌得主。📐 它仅通过合成数据训练，标志着AI在数学推理领域的一次突破。

AlphaGeometry由Google DeepMind开发，是一个旨在解决奥林匹克级别几何问题的人工智能系统，其表现可与人类金牌得主相媲美。它完全基于1亿个合成数据示例进行训练，结合了用于直观模式识别的神经语言模型和用于严格推理的符号演绎引擎。这种神经符号方法使AlphaGeometry能够通过预测和添加必要的构造（如点或线）到图表中来解决复杂的几何定理。在基准测试中，AlphaGeometry解决了30个奥林匹克问题中的25个，超越了之前的人工智能系统，并接近人类专家的表现。其解决方案既可由机器验证，又易于人类理解，展示了人工智能在数学推理能力上的重大飞跃。通过开源其代码，AlphaGeometry旨在推动人工智能、数学及其他领域的研究，为更通用和复杂的问题解决系统铺平道路。