> Languages like Python, Java, C#, are run on virtual machines, meaning you can optimize them only so far.

A JIT compiler can optimize _more_ than an AOT one can. It has way more profile guided data and can make assumptions based on how the live application is being used.