Comment by petra

Finding hard to find bugs. LLM's have strong capability for this in the area of security. This is also true for math(finding counterexamples), and probably other areas with strong verification.

Also, those AutoResearch agents for other types of verifiable goals.