Vela

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_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

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 ↗

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 6c784a56513954cc901b7de74d60bd3e85c32d1f7dac1b0cb960300ad62ce91f

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.