This will take care of memory safety and concurrency, but not the logic bugs that just cause the state to become subtly invalid with no diagnostic (and then things break later because of that invalid state).

I think we might need to start designing PLs with AI generation and processing specifically in mind. Explicit contracts everywhere might be a good starting point.