Unverified50% confidenceFactExact time
Lean-IMO-Bench comes from formalized versions of International Mathematical Olympiad problems.
1
Sources
50%
Confidence
Long-term
Relevance
10/20/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedBeyondAIME and IMOAnswerBench target high-level math competition problems at the AIME and IMO levels respectively68% similarUnverifiedAlphaGeometry is capable of solving geometry problems from the International Mathematical Olympiad (IMO), with performance approaching that of human gold medalists.63% similarUnverifiedo1在国际数学奥林匹克（IMO）资格赛中首次以AI身份通过所有题目63% similarUnverifiedThe 2019 IMO Grand Challenge was proposed with the goal of having AI win a gold medal at the International Mathematical Olympiad.62% similarUnverifiedThe stacking of AI technologies has brought it to a near gold-medal level on International Mathematical Olympiad (IMO)-level problems.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1073843API
curl https://kongchang.com/api/v1/knowledge/claims/1073843MCP
get_claim(id=1073843)