I don't mean to be dismissive, are these just old puzzles with no practical use whatsoever?
One open question is whether these machine solutions to these problems will act as springboards to future research, either when given to human mathematicians, or when used to train future machine models.
Which one were you referring to?
even the ZMachine it's an astounding example of running virtual machines on 8 bit machines 20 years earlier than Java.
Unless you want to be the guy in the 19th century making fun of Boole algebra for having no practical use. You might be right, but not for long.