Complete resultmathematics · combinatorial number theory
GPT-5 contributes the key idea for Erdős problem 848
GPT-5 proposed a stability or density idea that Mehtaab Sawhney and Mark Sellke corrected, tightened, and developed into a full solution.
Editorial context
What happened
The full chat makes the division of labor unusually inspectable and supports later prompt-method analysis.
Keep in view
Substantial human correction and proof development were required; this was not an autonomous resolution. The public shared page preserves all textual user messages but not the bodies of two uploaded attachments.
Chronology
Timeline
Preserved human–AI research chatattempt · month date
Early-science report releaseddisclosure · day date
Trust boundaries
Validation
Expert collaborators corrected and completed the proof; community checking followed.
System
AI and tools
- GPT-5 Pro
People
Human contributors
- Mehtaab Sawhney
- Mark Sellke
Organizations
Affiliations
- OpenAI
Primary materials