DeepMind发布AlphaGeometry2数学推理系统

DeepMind发布AlphaGeometry2，结合神经网络与符号AI，解决过去25年IMO中84%的几何题，超越金牌得主平均水平。