待验证50% 置信事件精确时间

2024年AlphaProof在国际数学奥林匹克题目上取得引人注目的成绩

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/9

首次发现

有效期至：2027/1/7

来源

数学家应了解的Lean定理证明器：可靠性与AI的交汇

涉及实体

AlphaProofmodel DeepMindcompany IMOconcept

相关事实

待验证DeepMind旗下AlphaProof在2024年国际数学奥林匹克(IMO)中达到银牌水平79% 相似已验证2024年，AlphaProof与AlphaGeometry 2联合解决了IMO竞赛6道题中的4道，折合得分达到银牌标准76% 相似待验证AI从2024年只能解决高中数学竞赛题，到2025年拿到国际数学奥林匹克金牌73% 相似待验证AlphaProof和AlphaGeometry是谷歌DeepMind在2024年推出的数学AI系统，在2024年IMO测试中合计解决6题中的4题69% 相似待验证2024年AlphaGeometry系统在几何问题上达到了金牌水平66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/993023

API

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

MCP

get_claim(id=993023)