Ask HN: How will programming language design change as more code comes from AI?

It appears that we're moving to a world where human programmers deal less and less with specific code details.

How do you expect/prefer language designers' priorities to shift? e.g. less toward human friendliness changes, more towards machine verifiability, etc?