已验证65% 置信事实精确时间
DeepMind的AlphaGeometry于2024年在国际数学奥林匹克级别的几何问题上达到了接近金牌选手的水平
3
来源数
65%
置信度
中期 (~90 天)
时效性
2026/7/2
首次发现
有效期至：2026/9/30
来源
自动化AI研究资源大全：论文、工具与实验室完整指南
githubwjlgatech2026/6/10
相关事实
已验证DeepMind的AlphaGeometry通过将神经网络与符号推理引擎耦合，在奥林匹克级别几何证明题上达到人类金牌水平81% 相似部分验证DeepMind的AlphaProof和AlphaGeometry在国际数学奥林匹克竞赛（IMO）级别的问题上展现了强大能力，但本质上是专用系统75% 相似待验证DeepSeek V3.2 Specialty（长思考版本）在IMO 2025国际数学奥林匹克竞赛中斩获金牌70% 相似待验证DeepSeek V3.2 Special在AMC/AIME、哈佛MIT数学竞赛以及国际数学奥林匹克竞赛等多个顶级竞赛指标上均达到了世界第一的水平，超过了GPT-5和Gemini 3.0 Pro67% 相似待验证DeepMind于2022年推出的AlphaTensor以强化学习方法重新发现了比Strassen算法更优的矩阵乘法路径67% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/42848API
curl https://kongchang.com/api/v1/knowledge/claims/42848MCP
get_claim(id=42848)