Yes. You can't "prove" that anything but a trivial program works correctly. I think that was the conclusion of the famous paper by Turing in the 1930's.
Machines certainly can solve problems, store information, correlate, and play games -- but not with pleasure. -- Leo Rosten