> 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".