Comment by secos

Talked with someone this morning who is using "formal methods" to validate their AI generated code.

They are using the same AI to generate the proofs.