begin with "You don't need a lot of math" so their recipients are not supposed to be very smart
I would be weary about correlating high IQ with a high maths aptitude (and also of the reverse) -- since other things effect maths development more than IQ (The type of teacher you have, etc.); I had the pleasure of knowing quite a few people in MENSA over the duration of my childhood, and I can assure you that many of them had exactly the same problems with mathematics as the rest of the population.
I disagree that a high IQ is a necessary component of developing an AI (And I assume you're talking about Strong AI here); I would say that an expert in the field has a much better chance than the average developer, but since nobody (To my knowledge) has created a general AI we can't really know for sure.
It would be interesting to see if AI researchers (or mathematicians, for that matter) tend to have a high IQ compared to other fields/jobs...