Share your thoughts, 1 month free Claude Pro on usSee more

Euclidean Geometry Problem Solving on IMO-30

30Solved Problems

AG2

Updated 1mo 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