I just realized that A will not only approve itself as successor, but also approve some limited self-modifications, like removing an inefficiency that provably doesn’t affect the choice of B. Though it still doesn’t matter much, because A might as well delete all code for choosing B and appoint a quining B as successor.
This suggests that the next version of the tiling agents problem should involve nontrivial self-improvement, not just self-reproduction. I have no idea how to formalize that though.
I just realized that A will not only approve itself as successor, but also approve some limited self-modifications, like removing an inefficiency that provably doesn’t affect the choice of B. Though it still doesn’t matter much, because A might as well delete all code for choosing B and appoint a quining B as successor.
This suggests that the next version of the tiling agents problem should involve nontrivial self-improvement, not just self-reproduction. I have no idea how to formalize that though.