＞証明出来ていないものは理解できないコンピュータ

コンピュータは理解するの？　
フェルマー最終定理の証明とか。