O openai.com Prover-Verifier Games improve legibility of language model outputs 139 points davidbarker 2 years ago 29 comments