No, you read incorrectly. Using LLMs to discover bugs is allowed given that you personally verified them.