Jürgen Schmidhuber's work to produce a “self-referential universal problem solvers making provably optimal self- improvements.”

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