AlphaGeometry:达到奥赛水平的几何 AI 系统

Google DeepMind 推出 AlphaGeometry,一个神经-符号结合的 AI 系统,在国际数学奥赛几何题基准 IMO-AG-30 的 30 题中解出 25 题,接近人类金牌选手平均水平,远超此前最优系统的 10 题,并已开源代码与模型。