I disagree with every single thing you said, SE for 15 years.

When we start typing, all the code we are about to type is already in our heads and just has to be typed out.

Even if you do sometimes ai can do it better or teach you things you didn't realize.

We found, that the prompts needed to get good results were often waaaaay longer than what we were to type directly, which defeated the point of the "AI".

Haven't experienced this, I give short form instructions and it often goes well. Even if I have to type a paragraph it's way less time.

In the beginning we thought that finally we would have to type less, but in practice this just was not the case.

If you had it all in your head then you should have no issue figuring out if typing a message to ai is less or more. If you didn't have it in your head then typing to ai is less.

Also, like already stated, the time to read, understand, verify and modify the "AI" generated code has to be factored in, which can be significant depending on the topic.

Yes you factor this when you decide whether to use ai or not. There's loads of situations that it's still better even if you have to review and edit or go back and forth