>>362
自動定理検証が「1+2=3」を計算するけれど、
AIがなんでこういう結果を出したのかはわからないけれど使えるからいいみたいな?