It's still working. If it's a previous run from before the patch it's possible something has gone wrong though. Dropping it and collecting it again should fix it though.
Hmm. I've played about 10 games after the patch and Prospector hasn't highlighted any asteroids. Randomly shooting asteroids I have gotten minerals out of them that the prospector had not marked.
