Source authenticated

Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem

Localizing Bernstein theory to prove lower bounds for the Lebesgue constants of Lagrange interpolation, with application to a problem of Erdős and Turán and to a conjectured bound from the interpolation literature.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Mar 23, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem · Lebesgue constants

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Terence Tao
human · human collaborator

AlphaEvolve
model · ai model contributor · Google DeepMind

ChatGPT
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Terence Tao

This event attributed to ChatGPT

This event attributed to AlphaEvolve

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem