医疗诊断、定理证明等都属于计算机的（ ）应用

医疗诊断、定理证明等都属于计算机的（ ）应用

A.数值计算

B.自动控制

C.人工智能

D.辅助教育

正确答案是C