Erdős Problem #1133

A claim by Przemek Chojecki with GPT-5.5 Pro (29 Apr 2026) that has not yet been verified: candidate full solution.

Problem
Erdős problem #1133 (analysis, polynomials); current status: open
Credit
Przemek Chojecki with GPT-5.5 Pro · AI working with humans
Checked
Listed in Tao's wiki
Timeline
First AI contribution 2026-04-29 · wiki data as of 2026-06-30
Sources
Problem page (erdosproblems.com)Tao's AI-contributions wiki
UN-
VERIFIED
Per Tao's AI-contributions wiki

The problem

Let C>0C>0. There exists ϵ>0\epsilon>0 such that if nn is sufficiently large the following holds.

For any x1,…,xn∈[−1,1]x_1,\ldots,x_n\in [-1,1] there exist y1,…,yn∈[−1,1]y_1,\ldots,y_n\in [-1,1] such that, if PP is a polynomial of degree m<(1+ϵ)nm<(1+\epsilon)n with P(xi)=yiP(x_i)=y_i for at least (1−ϵ)n(1-\epsilon)n many 1≤i≤n1\leq i\leq n, then

max⁡x∈[−1,1]∣P(x)∣>C.\max_{x\in [-1,1]}\lvert P(x)\rvert >C.

Statement quoted from erdosproblems.com/1133, maintained by Thomas Bloom. Original source: [Er67,p.72]. 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
29 Apr, 2026 AI working with humans GPT-5.5 Pro Przemek Chojecki ⚪ Candidate 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.

∎