AlphaGeometry 几何推理系统发布

Google DeepMind 在 Nature 发表并在 GitHub 开源 AlphaGeometry，结合神经引导与符号推导求解奥林匹克平面几何题目。