Unverified50% confidenceBenchmarkExact time
DeepMind在2024年推出的AlphaProof和AlphaGeometry在IMO测试中组合解决了6道题中的4道，接近金牌分数线
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/9/2026
First Seen
Valid until: 12/8/2026
Sources
Related Entities
Related Claims
VerifiedDeepMind的AlphaGeometry于2024年在国际数学奥林匹克级别的几何问题上达到了接近金牌选手的水平80% similarPartially VerifiedDeepMind的AlphaProof和AlphaGeometry在国际数学奥林匹克竞赛（IMO）级别的问题上展现了强大能力，但本质上是专用系统79% similarUnverifiedDeepSeek Math V2 是首个达到国际数学奥林匹克（IMO）金牌水平的开源模型，可解出IMO六道题中的五道73% similarVerifiedDeepMind的AlphaProof于2024年将大语言模型与Lean 4结合，通过强化学习在形式化环境中自我博弈生成并验证证明步骤72% similarVerifiedDeepMind的AlphaGeometry通过将神经网络与符号推理引擎耦合，在奥林匹克级别几何证明题上达到人类金牌水平69% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/885689API
curl https://kongchang.com/api/v1/knowledge/claims/885689MCP
get_claim(id=885689)