“AI models have successfully found decades-old software bugs in mature, heavily-audited open-source projects like OpenBSD and the Linux kernel.”