基准
IMO 2026
2026 年国际数学奥林匹克竞赛题目的形式化版本，用作定理证明系统的测试基准
时间轴 (近 90 天)
10月30日
EasyProver 完成了全部六个 IMO 2026 形式化问题。
待验证50%
10月20日
在与已发表证明器系统共享的基准上，Maestro在PutnamBench上解决669/672题，在Lean-IMO-Bench上解决59/60题，在IMO 2026上达到6/6。
待验证50%
9月12日
基于Nemotron 3 Ultra训练的系统在IMO 2026中取得了42分中的30分，达到金牌门槛
待验证50%