Erdős Problem #987
Erdős problem #987 · erdosproblems.com/987
- Result
- Proved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Argument
- Field
- Analysis, Discrepancy
- Posed by
- Paul Erdős
- Year posed
- 1964
- Years open
- 62y
- Solved
- 2026-04-09
- Model
- OpenAI internal model
- Vendor
- —
- Collaborators
- Boris Alexeev, Moe Putterman, Mehtaab Sawhney, Mark Sellke, Gregory Valiant
- Verification
- Site-confirmed
- Publication
- Announced
- Significance
- 11 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
From "Short proofs in combinatorics, probability and number theory II": "The proofs in this manuscript are due to an internal model at OpenAI... The role of the human authors was simply to digest the proofs and modify the write-ups for clarity and elegance." The question is Erdos's, recorded as Problem 7.21 in Hayman's problem list before reaching the Erdos problems site.
Verification
Marked solved by erdosproblems.com's official status. Solve credited via Terence Tao's AI-contributions wiki.
Sources
- PaperShort proofs II (Section 3)
- Problem recorderdosproblems.com