[aoki]

> Does Asymptote get much use these days?

Kids who get most of the way through AoPS (typically) end up learning some Asymptote as that is the supported way to draw figures on the AoPS website