待验证50% 置信基准精确时间
DeepSeek Math V2 是首个达到国际数学奥林匹克（IMO）金牌水平的开源模型，可解出IMO六道题中的五道
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/7/24
首次发现
有效期至：2026/10/22
来源
DeepSeek Math V2深度解析：开源数学AI的能力天花板
bilibiliAI论文许老师教授2026/7/7
相关事实
待验证DeepSeek V3.2 Specialty（长思考版本）在IMO 2025国际数学奥林匹克竞赛中斩获金牌83% 相似部分验证DeepMind的AlphaProof和AlphaGeometry在国际数学奥林匹克竞赛（IMO）级别的问题上展现了强大能力，但本质上是专用系统76% 相似待验证DeepSeek Math 是由 DeepSeek AI 研发的专门用于数学推理的开源大模型，采用 Apache 2.0 协议开源并支持自由商用70% 相似待验证DeepSeek在MATH、AIME等数学竞赛基准测试上表现突出67% 相似待验证DeepSeek Math V2 支持中英文数学问题处理和形式化定理证明67% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/609185API
curl https://kongchang.com/api/v1/knowledge/claims/609185MCP
get_claim(id=609185)