Our goal is to prove mathematically that Darwinian evolution works by studying what physicists call a toy model, one that is much simpler than the real thing, but that hopefully preserves the essential features. DNA is digital software, so we study the evolution of randomly mutating software, a hill-climbing random walk in software space. This approach is starting to yield mathematical results, which we shall outline.