Expired50% confidenceBenchmarkExact time
DeepSeek Math V2 is the first open-source model to reach International Mathematical Olympiad (IMO) gold-medal level, solving five out of six IMO problems.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/24/2026
First Seen
This claim has expired. It is kept for the record and no longer describes the current state.
Valid until: 10/22/2026(expired)
Sources
DeepSeek Math V2深度解析：开源数学AI的能力天花板
bilibiliAI论文许老师教授7/7/2026
Related Claims
UnverifiedDeepSeek V3.2 Specialty (the extended thinking version) won a gold medal at the IMO 2025 International Mathematical Olympiad.83% similarPartially VerifiedDeepMind's AlphaProof and AlphaGeometry have demonstrated strong capabilities on International Mathematical Olympiad (IMO)-level problems, but are essentially specialized systems.76% similarUnverifiedDeepSeek Math 是由 DeepSeek AI 研发的专门用于数学推理的开源大模型，采用 Apache 2.0 协议开源并支持自由商用70% similarUnverifiedDeepSeek在MATH、AIME等数学竞赛基准测试上表现突出67% similarUnverifiedDeepSeek Math V2 supports Chinese and English math problem processing and formal theorem proving.67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/609185API
curl https://kongchang.com/api/v1/knowledge/claims/609185MCP
get_claim(id=609185)