erdős #1132
For letwhich are such that and for .Let be an infinite sequence, and letwhere each is defined above with respect to .Must there exist such thatfor infinitely many ?Is it true thatfor almost all ?
Worked, still open.
analysis · open · 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 [ L_n(x)=\sum_{k=1}^n |l_k(x)| ] be the **Lebesgue function** for Lagrange interpolation at the nodes (x_1,\dots,x_n), and let [ \Lambda_n:=\max_{x\in[-1,1]}L_n(x) ] be the **Lebesgue constant**.
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