Comment by pjmlp

3GL code generation is only a transition step until models get more mature for direct machine code generation.

AI needs formal verification, not a borrow checker.