Programming languages, being precise in description and semantics, means it should be possible, for an automated system, to create new programs by unfolding and

Programming languages, being precise in description and semantics, means it should be possible, for an automated system, to create new programs by unfolding and expanding already created programs to achieve new solutions. These solutions will be then be memoized and become building blocks for complex problems. A system like GPT-4 should be able to do it, sort of like generating your own training data through self-play like AlphaZero does.