> 2. AI-generated code needs formal verification so that we can skip human review and still be sure that it works;

hahahahaha