I had to look this up so pasting what I found here:

AOT = head of time compilation. https://en.wikipedia.org/wiki/Ahead-of-time_compilation

Erlang's HiPE compiler is apparently AOT. The challenge seems to be dynamic typing. At points, it has to guess types. I assume compiled Python would have similar issues.