自動定理証明とはなんですか？

A. 自動定理証明とは、コンピュータプログラムによって数学的定理に対する証明を発見する自動推論（AR）の一種です。

参考URL:https://ja.wikipedia.org/wiki/%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E