Depth is all you need: how Antithesis crushes Gradius
https://antithesis.com/blog/2025/gradius/
Antithesis’ ability to play like a computer, not a human being, is central both to finding bugs and beating side-scrolling shooters.