> But you could imagine an algorithm that handled 1000, or a billion special cases specially, that would be beyond human understanding.

This is the case with the four-colour theorem's proof. Folks got quite philosophical after that one was published.