Comment by malux85

I agree, the level of abstractions will just change. We might end up writing something more like formal logic in a declarative language and the AI will then implement and optimise it.

Kind of the way a compiler generates optimised machine code from our higher level languages now.