Full threadskilled·Prover-Verifier Games improve legibility of language model outputs-> https://news.ycombinator.com/item?id=40988076View on HN