Expired90% confidenceFactExact time
DeepMind's AlphaGeometry reached a level close to gold medalists on International Mathematical Olympiad-level geometry problems in 2024
9
Sources
90%
Confidence
Medium-term (~90 days)
Relevance
7/2/2026
First Seen
Valid until: 9/30/2026(expired)
Sources
The Complete Guide to Automated AI Research Resources: Papers, Tools, and Labs
githubwjlgatech6/10/2026
Related Claims
VerifiedDeepMind的AlphaGeometry通过将神经网络与符号推理引擎耦合，在奥林匹克级别几何证明题上达到人类金牌水平81% similarPartially VerifiedDeepMind's AlphaProof and AlphaGeometry have demonstrated strong capabilities on International Mathematical Olympiad (IMO)-level problems, but are essentially specialized systems.75% similarUnverifiedDeepSeek V3.2 Specialty (the extended thinking version) won a gold medal at the IMO 2025 International Mathematical Olympiad.70% similarUnverifiedDeepSeek V3.2 Special has achieved world-first rankings on multiple top competition benchmarks including AMC/AIME, Harvard-MIT Mathematics Tournament, and the International Mathematical Olympiad, surpassing GPT-5 and Gemini 3.0 Pro.67% similarUnverifiedDeepMind于2022年推出的AlphaTensor以强化学习方法重新发现了比Strassen算法更优的矩阵乘法路径67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/42848API
curl https://kongchang.com/api/v1/knowledge/claims/42848MCP
get_claim(id=42848)