已验证80% 置信事实精确时间
DeepMind的AlphaProof和AlphaGeometry在国际数学奥林匹克竞赛（IMO）级别的问题上展现了强大能力，但本质上是专用系统
4
来源数
80%
置信度
长期有效
时效性
2026/5/20
首次发现
来源
通用AI模型攻克数学重大开放问题：里程碑时刻已至
twittersama2026/5/20
涉及实体
相关事实
已验证DeepMind在2024年推出的AlphaProof和AlphaGeometry在IMO测试中组合解决了6道题中的4道，接近金牌分数线79% 相似已验证DeepMind的AlphaGeometry通过将神经网络与符号推理引擎耦合，在奥林匹克级别几何证明题上达到人类金牌水平79% 相似已验证DeepMind的AlphaProof和AlphaGeometry系统采用了逐步验证的思路78% 相似待验证DeepMind 的 AlphaStar 将星际争霸作为检验AI综合能力的标志性环境，并将应对战争迷雾列为核心技术挑战之一76% 相似待验证DeepSeek Math V2 是首个达到国际数学奥林匹克（IMO）金牌水平的开源模型，可解出IMO六道题中的五道76% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/435API
curl https://kongchang.com/api/v1/knowledge/claims/435MCP
get_claim(id=435)