Presented by Elena & Alex Rivera · Groundwork Spoken Journalism
An open-model test-time-compute pipeline for generating, verifying, and refining candidate proofs for hard Olympiad mathematics problems.