On this topic, I have been pleasantly surprised to see some of the works he has recently supervised receive direct recognition, particularly the Huxley-Gödel Machine and its many siblings in the field of self-improving AI: https://github.com/metauto-ai