アルゴリズムって人間がそれを証明として納得できるかどうかは関係ない？

たとえばフェルマーの最終定理が成り立つかどうかのアルゴリズムは
bool f
{
return true;
}
でもOK？