展开 人工智能的研究领域包括自动定理证明吗