AlphaProof与AlphaGeometry 2：IMO2024
本轮直接阅读所列原文位置；未复跑实验
原文位置：人工形式化说明；4/6题与28/42分
不能据此推出：4.5小时×两场是学生制度；系统耗时最长3天，不是同时间预算
核查 2026-10-14 · 所属资料版本 2026-10-19.boundary.1 · 来源ID BM04
实际引用在哪里
形式证明扩展到多种竞赛命题 →
历史公开材料，适用时点按该事件解释
关系：时间轴引用
证明稿仍依赖人工形式语言翻译 →
历史公开材料，适用时点按该事件解释
关系：时间轴引用