待验证60% 置信事实精确时间

AI技术叠加使得其在国际数学奥林匹克（IMO）级别问题上达到了接近金牌的水平

2

来源数

60%

置信度

中期 (~90 天)

时效性

2026/8/6

首次发现

有效期至：2026/11/4

来源

AI攻克埃尔德什数学难题：人工智能如何破解数十年悬而未决的猜想

相关事实

待验证2019年IMO Grand Challenge被提出，目标是让AI获得国际数学奥林匹克金牌80% 相似待验证此前AI系统在IMO题目上长期停留在银牌或铜牌水平79% 相似待验证AlphaGeometry能够解决国际数学奥林匹克竞赛（IMO）中的几何题目，其表现接近人类金牌得主水平79% 相似待验证o1在国际数学奥林匹克（IMO）资格赛中首次以AI身份通过所有题目76% 相似待验证这是AI首次在竞赛数学中达到顶尖人类选手水平75% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/698286

API

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

MCP

get_claim(id=698286)