Erdős Problem #996
Erdős problem #996 · erdosproblems.com/996
Let be a lacunary sequence of integers and with th Fourier partial sum . Is there an absolute constant such that if then for almost every ? A preprint answers this negatively via a dyadic spike-block counterexample.
- Result
- Disproved(see note)
- Status
- Candidate (review pending)
- AI contribution
- AI-assisted
- Method
- Construction
- Field
- Analysis, Fourier Series
- Posed by
- Paul Erdős
- Year posed
- 1964
- Years open
- 62y
- Solved
- 2026-04-21
- Model
- GPT-5.4 Pro
- Vendor
- OpenAI
- Collaborators
- Boon Suan Ho
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 10 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
Answered negatively in a preprint that also settles the p=2 case of problem #995; erdosproblems.com still lists the problem open
What the AI did
Per the paper's acknowledgements, GPT-5.4 Pro was used during development to explore proof strategies, test intermediate formulations and assist with exposition; all arguments were independently verified by the author, who takes full responsibility.
Verification
An arXiv preprint with no independent review yet; erdosproblems.com still lists the problem open.