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.