[mikewarot]

You could just use a fuzzer to generate code, and run tests on the output. Each new test would approximately double the run time until a new "correct" output was found.

This doesn't become practical until you can do it on a quantum computer with millions of cubits.