待验证50% 置信基准精确时间

2024年IMO测试中，AlphaProof解决了包括最难的问题6在内的多道题目

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/10

首次发现

有效期至：2026/12/9

来源

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

涉及实体

AlphaProofproduct 国际数学奥林匹克concept

相关事实

已验证2024年，AlphaProof与AlphaGeometry 2联合解决了IMO竞赛6道题中的4道，折合得分达到银牌标准78% 相似待验证2024年多个研究团队报告其AI系统能够独立解决中等难度的CTF题目65% 相似待验证GAIA基准测试由Meta AI和HuggingFace等团队于2023年提出，包含400多个精心设计的问题64% 相似待验证OpenAI于2026年8月1日宣布其内部模型Astra解决了十道数学界长期悬而未决的难题59% 相似待验证OS World基准测试由学术界于2024年提出，专门测试AI模型在真实操作系统环境中完成复杂任务的能力58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/886965

API

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

MCP

get_claim(id=886965)