待验证50% 置信发布精确时间

AlphaProof和AlphaGeometry是谷歌DeepMind在2024年推出的数学AI系统，在2024年IMO测试中合计解决6题中的4题

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/10

首次发现

有效期至：2026/12/9

来源

OpenAI千禧年数学难题争议：AI能否真正突破数学极限

涉及实体

AlphaProofproduct AlphaGeometryproduct DeepMindcompany IMOcompetition

相关事实

待验证2024年IMO测试中，AlphaProof解决了包括最难的问题6在内的多道题目76% 相似已验证2024年，AlphaProof与AlphaGeometry 2联合解决了IMO竞赛6道题中的4道，折合得分达到银牌标准75% 相似已验证AlphaGeometry于2024年初发表在Nature上，采用神经-符号混合方法解决几何证明问题，使用约一亿条合成数据训练70% 相似待验证2024年AlphaGeometry系统在几何问题上达到了金牌水平66% 相似待验证AlphaTensor在2022年发现了新的矩阵乘法算法66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/887001

API

curl https://kongchang.com/api/v1/knowledge/claims/887001

MCP

get_claim(id=887001)