正确答案 ：A

解析

本题考查科技常识。 A项，数学定理证明程序不具有学习、推理方便的能力，他是由科学家操作，被动的进行运算，不属于人工智能。故A项符合题意，当选。 B项，人机对弈的过程中，象棋程序能主动的学习，属于人工智能。故B项不符合题意，排除。 C项，电视机根据周围环境主动感知光线，从而调节屏幕亮度，属于人工智能。故C项不符合题意，排除。 D项，Siri与用户进行对话，体现了软件的交流能力，属于人工智能。故D项不符合题意，排除。 故本题答案为A项。