I was interviewed for this article in Quanta magazine, and one of the bits that made it into the article was our work on post-run simplification.
As I say in the article, I think there’s more to be done at the intersection of genetic programming and algorithmic information theory… but I’m not sure what it is and would welcome discussion of this!