There is not such an advancement, Rust is made for dealing with human's mistakes. Chatbots can stop having such a mistakes and generate more terse formal specs instead.