Unverified50% confidenceBenchmarkExact time
AlphaGeometry is capable of solving geometry problems from the International Mathematical Olympiad (IMO), with performance approaching that of human gold medalists.
1
Sources
50%
Confidence
Long-term
Relevance
9/12/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe stacking of AI technologies has brought it to a near gold-medal level on International Mathematical Olympiad (IMO)-level problems.79% similarUnverifiedThe 2019 IMO Grand Challenge was proposed with the goal of having AI win a gold medal at the International Mathematical Olympiad.73% similarUnverifiedAlphaProof and various large language models have already demonstrated performance in mathematical olympiads and formal proofs, and AI is gradually becoming a potential collaborator for mathematicians.71% similarUnverifiedo1在国际数学奥林匹克（IMO）资格赛中首次以AI身份通过所有题目70% similarUnverifiedBeyondAIME and IMOAnswerBench target high-level math competition problems at the AIME and IMO levels respectively67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/914786API
curl https://kongchang.com/api/v1/knowledge/claims/914786MCP
get_claim(id=914786)