Well we have at least a hint on how to go about it software-wise. Jürgen Schmidhuber has been working on recursively self improving universal problem solvers for decades now:

http://www.idsia.ch/~juergen/goedelmachine.html