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

国产AI几何模型TongGeometry性能达IMO金牌水平，媲美谷歌DeepMind的AlphaGeometry。TongGeometry使用策略网络和价值网络，源自微调版DeepSeek-Coder。它解决了IMO-AG-30中的全部30题，并在IMO-AG-50上解答了42题，而人类金牌选手平均仅能解决25.9和40.9题。

TongGeometry不仅能解题还能出题，且题目已获数学竞赛认可。它由北京通用人工智能研究院开发，采用了多项创新技术，如摒弃算术推理，仅使用归纳数据库方法，严格构造对称图形，使用马尔可夫链和人类数据启发搜索方向，结合策略网络和价值网络进行解题。

相比AlphaGeometry需246个CPU核心和4块英伟达V100，TongGeometry仅需32个CPU核心和1块4090，解题时间缩短至38分钟，性能提升18倍。