There's an interesting guide on converting an interpreter into a static binary translator: https://gtoal.com/sbt/
It would be great to see this expanded into a JIT compiler (using a generic translated code management/caching and optimization framework).
Why would the field of JIT meta-compilers be exempt from AI?