OpenAI: Prover-Verifier Games improve language model output legibility | SignalBreak | SignalBreak