已验证65% 置信基准精确时间
DeepMind在2024年推出的AlphaProof和AlphaGeometry在IMO测试中组合解决了6道题中的4道，接近金牌分数线
3
来源数
65%
置信度
中期 (~90 天)
时效性
2026/9/9
首次发现
有效期至：2026/12/8
来源
涉及实体
相关事实
部分验证DeepMind的AlphaProof和AlphaGeometry在国际数学奥林匹克竞赛（IMO）级别的问题上展现了强大能力，但本质上是专用系统79% 相似已验证DeepMind的AlphaProof和AlphaGeometry系统采用了逐步验证的思路75% 相似待验证DeepSeek Math V2 是首个达到国际数学奥林匹克（IMO）金牌水平的开源模型，可解出IMO六道题中的五道73% 相似已验证DeepMind的AlphaProof于2024年将大语言模型与Lean 4结合，通过强化学习在形式化环境中自我博弈生成并验证证明步骤72% 相似待验证DeepMind的Demis Hassabis在2016年AlphaGo战胜李世石后公开表示AI将在蛋白质折叠等科学问题上取得突破，四年后AlphaFold2验证了这一判断71% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/885689API
curl https://kongchang.com/api/v1/knowledge/claims/885689MCP
get_claim(id=885689)