量子位
·
DeepSeek加持，北大通院几何模型达IMO金牌水平！32个CPU核心和1块4090就能实现满血解题
内容提要
北大通院的TongGeometry几何模型在国际数学奥林匹克（IMO）竞赛中表现出色，能够解决IMO-AG-30的所有题目，并在IMO-AG-50中解决42题，超越了人类金牌选手。该模型基于DeepSeek-Coder，采用归纳数据库方法和策略网络，解题效率显著提升，性能提高了18倍。
关键要点
-
北大通院的TongGeometry几何模型在国际数学奥林匹克（IMO）竞赛中表现出色，解决了IMO-AG-30的所有题目，并在IMO-AG-50中解决42题。
-
TongGeometry基于DeepSeek-Coder，采用归纳数据库方法和策略网络，解题效率显著提升，性能提高了18倍。
-
TongGeometry不仅能解题，还能出题，其出题获得了权威数学竞赛的认可。
-
IMO是全球最顶尖高中生参加的数学竞赛，几何题因其优美的图形性质受到广泛关注。
-
TongGeometry在设计问题时优先考虑对称图形，确保几何图形的美观性。
-
TongGeometry使用人类数据启发搜索方向，生成的题目难度可数倍于现有IMO题目。
-
TongGeometry的解题过程结合了策略网络和价值网络，形成闭环解题策略。
-
TongGeometry的性能测试显示，其解题时间显著低于AlphaGeometry，提升了18倍的效率。
延伸问答
TongGeometry模型在IMO竞赛中的表现如何？
TongGeometry能够解决IMO-AG-30的所有题目，并在IMO-AG-50中解决42题，超越了人类金牌选手的平均水平。
TongGeometry是如何提高解题效率的？
TongGeometry基于DeepSeek-Coder，采用归纳数据库方法和策略网络，解题效率提高了18倍。
TongGeometry除了解题外还有什么功能？
TongGeometry不仅能解题，还能出题，其出题获得了权威数学竞赛的认可。
TongGeometry在设计几何题时考虑了哪些因素？
TongGeometry优先考虑对称图形，确保几何图形的美观性。
TongGeometry的解题过程是怎样的？
TongGeometry结合策略网络和价值网络，形成闭环解题策略，使用人类数据启发搜索方向。
TongGeometry与AlphaGeometry相比有什么优势？
TongGeometry只需32个CPU核心和1块4090显卡即可实现解题，性能提升超过18倍，相比之下，AlphaGeometry需要246个CPU核心和4块V100显卡。
