Mixed campaignmathematics · research mathematics
OpenAI attempts all ten First Proof problems
An internal model produced attempts for ten research-level problems; expert assessments varied, and one attempt initially thought likely correct was later acknowledged as incorrect.
Editorial context
What happened
This should eventually become a parent campaign with ten child attempt records. Keeping it as one campaign in the prototype preserves the mixed result and avoids implying five settled breakthroughs.
Keep in view
The prompt appendix simulates the interaction pattern but is not a complete raw transcript; validation status remains problem-specific and mutable.
Chronology
Timeline
Ten proof attempts shareddisclosure · day date
OpenAI report publisheddisclosure · day date
Organizer comments and later assessments availablecorrection · month date
Trust boundaries
Validation
Problem authors supplied feedback, but organizers did not certify the bundle as a set of solved problems.
System
AI and tools
- Undisclosed OpenAI internal model
- ChatGPT
People
Human contributors
- OpenAI researchers
- First Proof problem authors and evaluators
Organizations
Affiliations
- OpenAI
- First Proof
Primary materials