Automated Theorem Proving on IMO 2025
5Solved Problems CountSeed-Prover
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Seed-Prover2026.06 | 5 | — | — | — | — | |
| Seed-Prover 1.52026.06 | 5 | — | — | — | — | |
| Goedel-ArchitectNatural language guidance (+NL)=true2026.06 | 4 | — | — | — | — | |
| Mechanic2026.03 | — | 141 | 43 | 95 | 47 |