It is not, and for the same reason it's not over for mathematics. For anyone doing anything truly novel, and yes there are still software engineers out there doing that, it's still inept.
It's de jour to leverage formal verification as LLMs are quite good at looping it, but that's still a tool we had to invent to solve problems. It'll be truly over when we're being outpaced in the realm of invention but I have seen absolutely nothing to suggest that has meaningfully occurred at all. Coding by hand is not gone, there's just less of a reason to do so now.
It is not, and for the same reason it's not over for mathematics. For anyone doing anything truly novel, and yes there are still software engineers out there doing that, it's still inept.
It's de jour to leverage formal verification as LLMs are quite good at looping it, but that's still a tool we had to invent to solve problems. It'll be truly over when we're being outpaced in the realm of invention but I have seen absolutely nothing to suggest that has meaningfully occurred at all. Coding by hand is not gone, there's just less of a reason to do so now.