如果结果不匹配，请 
更多“数学命题的教学主要是指：数学定理，公式，法则，公理等数学真命…”相关的问题
第10题
人工智能是指由人工制造出来的系统所表现出来的智能。下列论述中所描述的各项技术突破，无关人工智能的是：（)
A.科学家利用数学定理证明程序，证明了《数学原理》一书第二章的38个定理。
B.中国象棋程序在人机对弈时，能够根据以往的棋局，学习到新的战术，从而避免因为类似的错误而失败。
C.小张家里新买的最新款电视机，能够根据电视机周围的环境光线强弱，自动地调整屏幕的亮度。
D.有种名为siri的手机软件，采用自然语言处理技术，使用户能用自然的对话与手机进行互动。
