Propose, Solve, Verify (PSV): Self-play for code with proofs, not tests
Most AI coding systems learn from unit tests: they write code, run it on a few examples, and get rewarded if it passes. But tests are incomplete. Code can pass all tests and still be wronβ¦