Why Rust solves a Problem we no longer have – AI + Formal Proofs make safe Syntax obsolete