Comment by logicchains

Schmidhuber solved it at a small scale: https://arxiv.org/abs/2202.05780 .