DeepSeek加持,北大通院几何模型达IMO金牌水平!32个CPU核心和1块4090就能实现满血解题

国产AI几何模型TongGeometry能解决IMO-AG-30题中的所有30题,以及IMO-AG-50上的42题,并达到人类金牌选手平均水平。它使用策略网络和价值网络联合Beam Search进行解题,性能远超谷歌AlphaGeometry,仅需32个CPU核心和1块4090就能实现满血解题。