The elegant type system is still useful in 2 ways:
1) automatic verification by the compiler of very specific business requirements (e.g. that Passwords and Emails are segregated and not considered of the same datatype
2) with AI, you ALWAYS need human verification of the code before you deploy it. ALWAYS. Having an elegant and boilerplate-free language hence helps human code reviewers.
Ultimately, you can't rely on AI to do everything, and hence having a neat language facilitates the verification and modification of the generated code.