The AI that solved IMO Geometry Problems [video]