Euclidean Geometry Problem Solving on IMO-30
30Solved ProblemsAG2
Evaluation Results
| Method | Links | |
|---|---|---|
| AG2Model Size=3.3B, Search Budget=N/A2025.09 | 30 | |
| TongGeometryModel Size=1.3B, Search Budget=N/A2025.09 | 30 | |
| SeedProverModel Size=N/A, Search Budget=N/A2025.09 | 30 | |
| GenesisGeo (Vision + Text)Model Size=2B, Search Budget=32×512×42025.09 | 29 | |
| HAGeoModel Size=-, Search Budget=40962025.09 | 28 | |
| GenesisGeo (Text)Model Size=2B, Search Budget=32×512×42025.09 | 28 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=20482025.09 | 26 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=40962025.09 | 26 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=81922025.09 | 26 | |
| AG2 (Engine)Model Size=-, Search Budget=20482025.09 | 25 | |
| AG2 (Engine)Model Size=-, Search Budget=40962025.09 | 25 | |
| AG2 (Engine)Model Size=-, Search Budget=81922025.09 | 25 | |
| AG1Model Size=151M, Search Budget=32×512×42025.09 | 25 | |
| Newclid 3.0Model Size=-, Search Budget=20482025.09 | 23 | |
| Newclid 3.0Model Size=-, Search Budget=40962025.09 | 23 | |
| Newclid 3.0Model Size=-, Search Budget=81922025.09 | 23 | |
| Newclid 3.0Model Size=-, Search Budget=02025.09 | 16 | |
| GenesisGeo (Engine)Model Size=-, Search Budget=02025.09 | 16 | |
| AG2 (Engine)Model Size=-, Search Budget=02025.09 | 15 |