The article discusses the author's shift in perspective on using large language models (LLMs) in formal methods, particularly through the development of CNnotator, a tool that generates memory safety annotations for C code. It highlights the potential of LLMs to improve code translation from memory-unsafe to memory-safe languages like Rust.