I think GP's point is that you can reach something approximating reasoning by brute force.

In the case of your example, you don't need to encode an algorithm to do 4-digit addition, just remember that 1000+1000=2000, 1000+1001=2001, etc.