Having watched this talk[0] about what it takes to succeed in the DARPA AIxCC competition[1] these days, this doesn't surprise me in the least.
[0]: https://m.youtube.com/watch?v=rU6ukOuYLUA
[1]: https://aicyberchallenge.com/