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 fo

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 http://www.idsia.ch/~juergen/goedelmachine.html