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

EasyProver 完成了全部六个 IMO 2026 形式化问题。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/30

首次发现

有效期至：2027/1/28

来源

EasyProver：递归智能体如何攻克真实代码形式化验证

涉及实体

EasyProverproduct IMO 2026concept

相关事实

待验证2024年IMO测试中，AlphaProof解决了包括最难的问题6在内的多道题目75% 相似待验证公开可用的推理模型经过适当提示可以解出2025年IMO全部6道题66% 相似待验证该原型借助 AI 编码代理构建，于 2026 年 10 月 11 日完成并测试59% 相似待验证AlphaProof和AlphaGeometry是谷歌DeepMind在2024年推出的数学AI系统，在2024年IMO测试中合计解决6题中的4题58% 相似待验证该模型在IOI 2026问题集上进行实时评估，遵守官方时间限制、联网访问和提交约束，最终取得535.4分（满分600）56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1114737

API

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

MCP

get_claim(id=1114737)