I've read about a dozen different news sources on this shooting and to their credit most do NOT specify AK-47, though they do all say it was an "assault weapon". Most are just reprinting the AP report. I can't access to original (and complete) AP release, only what the various news organization reprint, it doesn't appear AP used "AK-47".
HOWEVER, CNN quotes Chief Timoney as saying it was an AK-47. They are the only news source with such a quote.
The Sun Sentinel does say "According to detectives, a man with an AK-47 assault rifle..." (un-named detectives, of course)
The Miami Herald, however only makes this reference:
"Kendra said she noticed a man outside pulling a gun from his waistband.
''Big, like an AK-47,'' she said."
WAISTBAND? AN AK-47?