Claims

../

1958_09_01_erdos: In 1958 Erdős stated, without a construction, that some node system has for every continuous f continuum many points of unbounded Lebesgue function at which the interpolants converge; Erdős and Vértesi withdrew it in 1980.

2026_06_22_price: An AI-written write-up posted by Liam Price claiming both answers yes: a node system with Lebesgue functions unbounded at every point while every continuous function's interpolants converge at some point; unreviewed.

2026_07_24_quietmethod: An AI-assisted write-up and Lean file by the forum user QuietMethod re-deriving the coalescing-node construction of Price's claim, answering both questions yes with k^2+1 cluster values per stage instead of k^3+1.

---