为解决市民生活垃圾分类的烦恼，首款人工智能垃圾分类APP“阿拉去分类”于日前正式上线运行。该APP通过采集大量垃圾图片，配以高优化的计算模型，在自动识别率上达到了国内领先水准，市民通过手机拍张照片就可以立即自动识别并告知具体的垃圾种类。其中蕴含的哲学道理是（   ）

①现实生活的需要推动了创新能力不断发展

②人工智能之智源自于对社会规律的正确认识

③发挥主观能动性是正确认识事物的基础

④人们的理念能够通过社会实践变成现实

A、①②

B、①④

C、②③

D、③④