Unverified50% confidenceBenchmarkExact time
2024年IMO测试中，AlphaProof解决了包括最难的问题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
Verified2024年，AlphaProof与AlphaGeometry 2联合解决了IMO竞赛6道题中的4道，折合得分达到银牌标准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)