Our First Proof submissions

OpenAI Blog · 4 months ago

DeepSeek released its first proof submissions for the First Proof math competition, a challenge designed to evaluate advanced AI reasoning on difficult mathematical problems. The submissions represent a research-grade test of the model's capabilities on expert-level mathematics without specifying performance metrics or outcomes. This represents an early data point in assessing how current AI systems handle formal mathematical reasoning compared to human mathematicians.