In both cases this is caused by poorly (human-) designed software, that assumes you go through a similar development cycle to the author, would that be part of the spec? of course not. This is just the obvious end result of an industry and culture not taking formal correctness seriously well... ever.

And so the goalposts move, oh now we've always cared about user resources, AI is using too much, but in 3 months when it's better than all human programs at resource management what will they move onto? Did we forget that unused resources are wasted resources? Or can that only justify poorly human-written programs.