If it uses software to check for those bugs, well, that'd be one thing, I can perfectly understand tree traversal, the traveling salesman and those hard-NP problems we read about in college, but as it is right now? I really don't know if it does.
If it's just an LLM inferring answers from its memory matrices... and it STILL finds those bugs... hell, how am I ever going to compete with that? 😟