Our new X account is live! Follow @wizwand_team for updates

Euclidean Geometry Problem Solving on IMO-30

30Solved Problems

AG2

Updated 4d ago

Evaluation Results

Method	Links
AG2 2025.09		30
TongGeometry 2025.09		30
SeedProver 2025.09		30
GenesisGeo (Vision + Text) 2025.09		29
HAGeo 2025.09		28
GenesisGeo (Text) 2025.09		28
GenesisGeo (Engine) 2025.09		26
GenesisGeo (Engine) 2025.09		26
GenesisGeo (Engine) 2025.09		26
AG2 (Engine) 2025.09		25
AG2 (Engine) 2025.09		25
AG2 (Engine) 2025.09		25
AG1 2025.09		25
Newclid 3.0 2025.09		23
Newclid 3.0 2025.09		23
Newclid 3.0 2025.09		23
Newclid 3.0 2025.09		16
GenesisGeo (Engine) 2025.09		16
AG2 (Engine) 2025.09		15