If AI models were trained for optimising kernels, they could easily replace ML compilers. With no branches a numerical check gives you the correctness guarantees you need. However we already see anthropic deliberately nerfing kernel optimisation capabilities of their latest models, Chinese AI companies on the other hand have the opposite incentive.

As someone who doesn't know much about kernels and compilation, this reads like a modern-day Retroencabulator