A . 科学家利用数字定理证明程序，证明了“数学原理”一书第二章的38个定理
B . 中国象棋程序在人机对弈时，能够根据以往的棋局，学习到新的战术，从而避免因为类似的错误而失败
C . 小张家里新买的最新款电视机，能够根据电视机周围的环境光线强弱，自动地调整屏幕的亮度
D . 有种名为siri的手机软件，采用自然语言处理技术，使用户能用自然的对话与手机进行互动