Our First Proof submissions

In three linesOpenAI submits its first results to the First Proof math challenge, testing research-grade reasoning capabilities on expert-level problems. The AI model's proof attempts are shared publicly to benchmark advanced mathematical performance.

Summary generated by Claude — human-verified