Problem detail · source-aware

Erdős Problem #996

candidateconfidence 50%

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Precise statement

Let $n_1<n_2<\cdots$ be a lacunary sequence of integers and $f\in L^2([0,1])$ with $n$th Fourier partial sum $f_n$. Is there an absolute constant $C>0$ such that if $\| f-f_n\|_2 \ll (\log\log\log n)^{-C}$ then $\frac{1}{N}\sum_{k\leq N}f(\{\alpha n_k\})\to\int_0^1 f$ for almost every $\alpha$? A preprint answers this negatively via a dyadic spike-block counterexample.

The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.

What AI did

GPT-5.4 Pro

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.

Provider: OpenAI · Prompt public: unknown · Independence: unknown

Verification boundary

unreviewed

An arXiv preprint with no independent review yet; erdosproblems.com still lists the problem open.

Correctness: unknown · statement fidelity: unaudited · peer review: none

Timeline

  1. erdosproblems.com/996

    Answered negatively in a preprint that also settles the p=2 case of problem #995; erdosproblems.com still lists the problem open

Known method families

construction (source-reported)

Source-reported tools: construction.

Independent: unknown · difference confidence: 0

What remains uncertain

VibeMath has not independently audited the mathematical statement, proof, or novelty claim.

  • The source status is candidate and must not be represented as solved.
  • VibeMath has not independently verified the mathematical claim.
  • AI-attempt independence and training-data exposure are unknown unless explicitly documented.
  • VibeMath has not independently audited the mathematical statement, proof, or novelty claim.