correctness and verification are not close to being solved. it's feasible that AI will increase individual developer productivity and narrow the field. it's also possible, and probably more likely, that increased productivity and capability will just increase the complexity of software; that may be good (more interesting problems and broader real-world applications) or bad (overengineered monstrosities).