DeepSeek-Coder

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