Unverified50% confidenceBenchmarkExact time
EasyProver completed all six IMO 2026 formalized problems.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/30/2026
First Seen
Valid until: 1/28/2027
Sources
Related Entities
Related Claims
UnverifiedIn the 2024 IMO test, AlphaProof solved multiple problems including the most difficult Problem 6.75% similarUnverifiedPublicly available reasoning models, with appropriate prompting, can solve all 6 problems of the 2025 IMO.66% similarUnverifiedThe prototype was built with the help of an AI coding agent, and was completed and tested on October 11, 2026.59% similarUnverifiedAlphaProof and AlphaGeometry are mathematical AI systems launched by Google DeepMind in 2024, and together they solved 4 out of 6 problems in the 2024 IMO test.58% similarUnverifiedThe model was evaluated in real time on the IOI 2026 problem set, adhering to official time limits, internet access, and submission constraints, ultimately achieving a score of 535.4 out of 600.56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1114737API
curl https://kongchang.com/api/v1/knowledge/claims/1114737MCP
get_claim(id=1114737)