VibeMathedMath problems solved by AI
All problems

Erdős Problem #1040

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

For a closed infinite set FCF \subseteq \mathbb{C}, let μ(F)\mu(F) be the infimum of {z:f(z)<1}|\{z : |f(z)| < 1\}| over monic polynomials with zeros in FF. Is μ(F)\mu(F) determined only by the transfinite diameter of FF?

Result
Disproved(see note)
Status
Partial result
AI contribution
AI-discovered
Method
Construction
Field
Potential Theory
Posed by
Year posed
1958
Years open
68y
Solved
2026-02
Model
Aletheia (Gemini Deep Think)
Vendor
Google DeepMind
Collaborators
Verification
Independently expert-verified
Publication
Announced
Significance
10 / 100
Disclosed cost
Wikipedia
No dedicated article

What was actually shown

capacity alone does not determine the invariant; the zero-measure clause is a separate open question

Verification

Expert-reviewed within the Aletheia project, with public report and transcripts; no journal review.

Source

Aletheia project report (Feng et al.)

Discussion