>>327
それは人工知能と呼ぶのは一般的ではないね。
定理証明支援系という。