The problem
Given let
be the unique polynomial of degree which agrees with on for (that is, the Lagrange interpolation polynomial).
Let be the set of Chebyshev nodes. Prove that, for any closed , there exists a continuous function such that is the set of limit points of .
Statement quoted from erdosproblems.com/1151, maintained by Thomas Bloom. Original source: [Va99,2.41]. Current status there: open.
AI contributions
As recorded in Terence Tao's wiki AI contributions to Erdős problems (data as of 30 Jun 2026). 🟢 full, 🟡 partial, ⚪ unverified, 🔴 incorrect.
| Date | Kind | AI systems | Humans | Outcome |
|---|---|---|---|---|
| 30 Apr, 2026 | AI working with humans | GPT-5.5 Pro | Przemek Chojecki | 🟢 Full solution |
Caveats
The wiki's classifications are provisional and are not a benchmark. Many Erdős problems have never had a thorough literature review, so a result that looks new may later turn out to be known; some problems were also stated ambiguously or incorrectly. See the problem page for the full discussion.
∎