> when the LLMs get good enough to just write memory safe code in unsafe languages There is, and always will be, a huge difference between "because a LLM said

> when the LLMs get good enough to just write memory safe code in unsafe languages There is, and always will be, a huge difference between "because a LLM said so" and "here is a proof this is memory safe".