The curse of AI and how Rust helps

There seems to be an inflated faith in AI tools like Copilot among some developers, that you can blindly use them to create high quality software. This fact is refuted in a recent report where a 41% increase in number of bugs was found when having access to such tools.

Personally, I'm not opposed to using AI tools, in fact I think they can be helpful and save developer time when used correctly, but you cannot trust them to generate correct code. That's why strong type systems (like Rust's) are still very important for checking program correctness (combined with unit tests etc.).

What's your opinion?