Comment by justatdotin

8 days ago

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

hahahahaha