erdős #671
Given for all we define as the unique polynomial of degree such that and if with . We similarly definethe unique polynomial of degree which agrees with on for (that is, the sequence of Lagrange interpolation polynomials).Is there such a sequence of such that for every continuous there exists some whereand yetIs there such a sequence such thatfor every and yet for every continuous there exists with
Worked, still open.
analysis · open · prize $250 · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
Let [ \Lambda_n(x):=\sum_{i=1}^n |p_i^n(x)| ] be the **Lebesgue function** [[nomath]](the operator norm of the linear functional $f\mapsto \mathcal L^n f(x)$ on $C[-1,1]$)[[/nomath]].
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗links
Create a formalisation here · link
status
open