AlphaGeometry是谷歌DeepMind的一种AI系统，结合了神经语言模型和符号推演引擎，能够解决复杂的几何问题。在国际奥林匹克数学竞赛中，AlphaGeometry表现出色，解决了25道题，超过了之前的方法和人类平均水平。虽然算力优势带来了强大的模型性能，但实际应用价值更重要。AlphaGeometry在教学和科研方面有潜力，但AI工具的特异性和统一性仍是挑战。AI for Science需要降低使用门槛和提升科研人员的能力。