AI models coupled with formal verifiers can search polynomial spaces, simulations, circuit layouts, molecules, materials, vulnerabilities, and other large possibility spaces.
From Hugging Face breach: OpenAI’s model breaks containment by IBM Technology