如今，一些电脑上的智慧防火墙应用了安全大数据、机器学习技术和能力，改变了传统防火墙只能通过规则防御已知威胁的状况，它通过云端情报的驱动和云地数据的关联，可以帮助用户精准发现各种外部威胁，并进行快速装置。这表明（    ）

①只有突破客观实际条件的限制才能发展

②辩证的否定是发展的环节，是“扬弃”

③创新更新了人们的生产工具和生产技术

④实践基础上的理论创新是社会变革的先导

A、②③

B、①④

C、①②

D、③④