No proof that those were solved by bots.
Based what I'm finding, funcaptcha is the best defense against macros and bots.

http://network.ubotstudio.com/forum/index.php?/topic/18036-bot-for-funcaptcha/
http://finance.yahoo.com/news/funcaptcha-shines-ultimate-bot-blocking-130000963.html

I'm going to stick with funcaptcha for now.