For a sample of 10 problems, OpenAI released reasoning traces alongside the mathematical proofs