该试点仅允许使用中间检查点、训练协议和训练数据均公开的模型。6 支团队在 6 道证明题上产出有效提交；AIMO 使用同一专家评分流程，将这些结果与开放权重及商业前沿模型比较，并公开提交内容与详细评分数据。
AIMO 报告称，由 Yi-Chia Chen 领衔的 Proof Pilot 冠军团队使用完全开源模型，在 6 道从国家奥赛高难度到 IMO 中等难度的问题上取得 29/42 分，而提供给参赛者的最强开放基线为 1/42；每份提交证明至少由两名专家独立评分，输出与评分数据均公开。
该事件为完全开放模型生态提供了具体的证明质量基准：可复现性与训练透明度成为竞赛契约的一部分，而非可选发布行为；系统能力也由人类可读的完整证明而不只是最终答案来衡量。
重要性说明：AIMO Proof Pilot 将完整奥赛式证明生成、专家人工评分与严格开放要求结合起来，要求公开模型检查点、训练协议和训练数据，形成区别于最终答案竞赛与闭源前沿模型演示的可复现证明写作里程碑。
AIMO 公布 Proof Pilot 结果、团队身份、逐题成绩、对比模型及专家评分流程。
AIMO 链接了 Kaggle 上公开的匿名团队 / 模型输出及评分数据集。E3 表示竞赛产物可直接检查，并不表示 Chronicle 独立重新评分了全部证明或复现了各团队的训练过程。
当前没有记录的更正。
