Finding bugs with Claude and property-based testing

This Frontier Red Team report describes an AI-driven property-based testing agent that infers code properties and generates Hypothesis tests to find bugs across the Python ecosystem (e.g., NumPy, SciPy, Pandas). It outlines the agent's workflow, evaluation results, several validated bug reports and patches, and discusses limitations and future directions for applying large language models to testing and bug finding.