Crucially there is not a program for every problem. Many (presumably "Almost all" in a mathematical sense) problems are Undecidable and so a program can't do that.