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

Research

General research and information gathering from multiple sources

1,004 claims