The biggest winner from AI indeed appears to be Rust.

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.