For reference - Gödel machine is a hypothetical self-improving computer program that solves problems. It uses a recursive self-improvement protocol in which it rewrites its own code when it can prove the new code provides a better strategy. So let's say you have a program which solves TSP using Simulated Annealing, you leave it running through the night and in the morning it rewrote itself so now it uses Genetic Algorithm. A self modifying code. Did anyone ever implemented something like that? According to linked book I found there are some implementations but I've never seen any project actually working. If any actual implementation doesn't exist is it possible to implement it in practice?