Writing bug-free software is dependent upon people writing bug-free requirements. People will always ask for things and then realize later that what they asked for is not really or exactly what the want or need. I think AI will make it easier for engineers to write fewer bugs into software, but there's no good way to fix faulty human understanding of the problem we're trying to solve through software.