Future: AI generates incorrect code, and formal verification that proves that the code performs that incorrect behaviour.
Future: AI generates incorrect code, and formal verification that proves that the code performs that incorrect behaviour.