VibeMathedMath problems solved by AI
All problems

Erdős Problem #1038

Erdős problem #1038 · erdosproblems.com/1038

Among all nonconstant monic polynomials ff whose roots lie in [1,1][-1, 1], determine inff{xR:f(x)<1}\inf_f |\{x \in \mathbb{R} : |f(x)| < 1\}|.

Result
Proved
Status
Candidate (review pending)
AI contribution
AI co-developed
Method
Argument
Field
Extremal Polynomials
Posed by
Year posed
1958
Years open
68y
Solved
2026-07
Model
GPT-5.5 Pro
Vendor
OpenAI
Collaborators
Verification
Unreviewed
Publication
Preprint
Significance
10 / 100
Disclosed cost
Wikipedia
No dedicated article

What the AI did

A July 2026 manuscript by Darvas, Peng and Tao, developed with GPT-5.5 Pro, claims the exact extremal value and measure.

Verification

Author-checked manuscript; the official record is still open.

Source

erdosproblems.com/1038

Discussion