This is the same highly verifiable domain that has delivered reliable, bug-free software to date?
And LLMs won't take the easy way out (like so many people) and suppress errors, change tests etc, tweak code until warnings go away?
And LLMs won't take the easy way out (like so many people) and suppress errors, change tests etc, tweak code until warnings go away?
That's not to say it isn't useful, and if youre on top of it you can guide it away from doing that.
AI is changing how the code is written, but I'm not seeing anything at all changing the incentives around testing and verification.