Automated Theorem Proving on IMO 2025
5Solved Problems Count
Seed-Prover
Updated 1mo ago
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.06 | 5 | - | - | - | - | |
2026.06 | 5 | - | - | - | - | |
2026.06 | 4 | - | - | - | - | |
2026.03 | - | 141 | 43 | 95 | 47 |
Seed-Prover
| Method | Links | |||||
|---|---|---|---|---|---|---|
2026.06 | 5 | - | - | - | - | |
2026.06 | 5 | - | - | - | - | |
2026.06 | 4 | - | - | - | - | |
2026.03 | - | 141 | 43 | 95 | 47 |