The Radchenko–Viazovska question on Fourier interpolation
For every , we construct a nonzero real-valued continuous function in such that andfor all . The case settles in the negative a question raised by Radchenko and Viazovska regarding their Fourier interpolation formula.
- Result
- Disproved(see note)
- Status
- Resolved
- AI contribution
- AI-assisted
- Method
- Argument
- Field
- Fourier analysis
- Posed by
- Danylo Radchenko and Maryna Viazovska
- Year posed
- 2019
- Years open
- 7y
- Solved
- 2026-08-13
- Model
- ChatGPT (OpenAI, model version unstated)
- Vendor
- OpenAI
- Collaborators
- Andriy Bondarenko, Kristian Seip
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 28 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
For every , Bondarenko and Seip construct a nonzero real-valued continuous even functionsuch thatandThey normalize the construction by requiring , so the function is genuinely nontrivial.
For , this gives a nonzero Fourier-invariant function vanishing at every , which answers the question negatively: their interpolation formula for even Schwartz functions does not extend merely under the assumption that the interpolation series is well-defined and absolutely convergent.
More strongly, for every the zero set can be logarithmically denser than the square-root sequence. These sampling points, together with , form a universal interpolating sequence for a suitable reproducing-kernel Hilbert space of Fourier-invariant Hermite expansions.
What the AI did
The authors state that OpenAI's ChatGPT provided exploratory input and calculations that were essential in the development of the paper. The disclosure does not identify a specific model version or isolate which theorem, lemma, or proof step originated from ChatGPT, so the safest attribution is substantive AI-assisted discovery rather than AI-discovered.
Verification
Unreviewed. arXiv 2608.13468 read here; the acknowledgement thanks ChatGPT, "whose exploratory input and calculations were essential in the development of this paper", naming no model version and isolating no step. A complete conventional proof by the authors; not refereed; no formalization.
Sources
Submitted by VibeGene on