Unverified50% confidenceBenchmarkExact time
In the 2024 IMO test, AlphaProof solved multiple problems including the most difficult Problem 6.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/10/2026
First Seen
Valid until: 12/9/2026
Sources
Related Entities
Related Claims
VerifiedIn 2024, AlphaProof and AlphaGeometry 2 jointly solved 4 out of 6 problems at the IMO competition, equivalent to a silver medal score.78% similarUnverified2024年多个研究团队报告其AI系统能够独立解决中等难度的CTF题目65% similarUnverifiedGAIA基准测试由Meta AI和HuggingFace等团队于2023年提出，包含400多个精心设计的问题64% similarUnverifiedOpenAI于2026年8月1日宣布其内部模型Astra解决了十道数学界长期悬而未决的难题59% similarUnverifiedOS World基准测试由学术界于2024年提出，专门测试AI模型在真实操作系统环境中完成复杂任务的能力58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/886965API
curl https://kongchang.com/api/v1/knowledge/claims/886965MCP
get_claim(id=886965)