[npn]

Tools exists so we can spend our time focusing on more important matter. AI is not any exception of that.

Till this day even there exists IDEs with proper auto-complete suggestions (or editors with LSP support), there are still a lot of people prefer doing it in the old way (vim/emac/nano) and none of them get fired for that.

Z3 exists but we still like to solve algorithms by hand. High level languages exists but C/C++ codes are still written every day, even asm is still used.

On the brighter side of the issue, we now have ton of legacy projects written in obscure languages (COBOL, FORTRAN) that only some dozen people can maintain effectively, and those people are mostly at retirement age now. GenAI can solve that.