突破点

DeepMind发布AI系统AlphaGeometry2，能解决84%IMO几何问题，表现超越金牌得主平均水平，融合神经网络与符号AI方法。