Verified80% confidenceFactExact time
DeepMind's AlphaProof and AlphaGeometry have demonstrated strong capabilities on International Mathematical Olympiad (IMO)-level problems, but are essentially specialized systems.
4
Sources
80%
Confidence
Long-term
Relevance
5/20/2026
First Seen
Sources
Related Entities
Related Claims
VerifiedDeepMind's AlphaProof and AlphaGeometry, introduced in 2024, together solved 4 out of 6 problems in an IMO test, approaching the gold medal threshold.79% similarVerifiedDeepMind的AlphaGeometry通过将神经网络与符号推理引擎耦合，在奥林匹克级别几何证明题上达到人类金牌水平79% similarVerifiedDeepMind's AlphaProof and AlphaGeometry systems adopt a step-by-step verification approach.78% similarUnverifiedDeepMind's AlphaStar used StarCraft as a landmark environment for testing AI's comprehensive capabilities, and listed coping with the Fog of War as one of its core technical challenges.76% similarUnverifiedDeepSeek Math V2 是首个达到国际数学奥林匹克（IMO）金牌水平的开源模型，可解出IMO六道题中的五道76% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/435API
curl https://kongchang.com/api/v1/knowledge/claims/435MCP
get_claim(id=435)