"Even more bugs are inevitable, software is all going to become probabilistic now" is cope. "AI bug-finding means we have to embrace closed-source now" is a psyop.Writing buggy code has moved from hard to trivial. Writing secure code has moved from impossible to hard. ...