Maybe he probably proved the mathematical algorithm was correct. The problem is we have to implement algorithms using machines, which aren't perfect. They do a great job most of the time, but they exist in a physical environment which has restrictions and outside influences.

We can only work with the tools and techniques we've discovered so far. Later, we find situations or results that show our tools or techniques aren't correct or aren't good enough and we improve them to cover the new situations.