量子位
·
DeepSeek加持，北大通院几何模型达IMO金牌水平！32个CPU核心和1块4090就能实现满血解题
💡
原文中文，约3600字，阅读约需9分钟。
📝
内容提要
北大通院的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倍的效率。
🏷️
标签
➡️
