已验证65% 置信事实时间未知

2024年，AlphaProof与AlphaGeometry 2联合解决了IMO竞赛6道题中的4道，折合得分达到银牌标准

3

来源数

65%

置信度

长期有效

时效性

2026/5/31

首次发现

来源

AI数学推理重大突破：从AlphaProof到自动定理证明的进化之路

twitterkevinweil

涉及实体

AlphaProofmodel AlphaGeometry 2model IMOconcept

相关事实

待验证2024年OpenAI发布的o1技术报告明确展示了推理Token数量与AIME数学竞赛得分之间近乎线性的正相关关系59% 相似待验证AlphaGo发布于2016年，OpenAI Five于2018年，AlphaStar于2019年相继突破人类顶尖水平57% 相似待验证OpenAI于2024年独立推出「o系列」，专门针对数学竞赛、代码调试等需要多步推理的场景56% 相似待验证国际软件测试资质委员会（ISTQB）已在2024年更新了认证体系，新增了AI测试相关模块56% 相似待验证2024年多个研究团队报告其AI系统能够独立解决中等难度的CTF题目55% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/12883

API

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

MCP

get_claim(id=12883)