What about AOT optimization? whuch brings aot closer to JITs performance? Isn't that something LLM + Harness can easily do?

I think the idea that AOT is inherently faster than JIT, or vice versa, is a thoroughly debunked idea.

You can have LLMs help you optimize code but I don’t think you can do this unattended for non-trivial code.