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

文章预览

TongGeometry团队 投稿 量子位 | 公众号 QbitAI 国产AI几何模型性能达IMO金牌水平，打平谷歌DeepMind最新AlphaGeometry系列—— TongGeometry ，使用的策略网络和价值网络还来自微调版本的 DeepSeek-Coder 。 它能解决IMO-AG-30题中的 所有30题 ，在IMO-AG-50上也能 解决42题 ，而 人类金牌选手平均水平分别为：25.9、40.9 。 例如，下面是TongGeometry提出的一道IMO2024几何题的解法，与标准答案完全一致： TongGeometry 不仅能解题还会出题 ，所出的题目甚至获得了权威数学竞赛认可。 就在去年全国高中数学联赛预赛北京地区的考试中，就有TongGeometry出的几何题；由美国IMO竞赛教练组组织的一项美国民间数学竞赛USEMO，也收录了TongGeometry出的两道几何题在他们的竞赛短表中。 TongGeometry由北京通用人工智能研究院打造，下文是更多细节。 DeepSeek加持神经网络基础 IMO是面向全球200多个 ………………………………