この記事の日本語版はまだありません。英語版を表示しています。

Erdős Problem #1039

Partial progress by Houi with Aristotle and Claude Opus 4.6 (6 Mar 2026): partial result (Lean). 2 AI contributions are recorded in all.

問題
Erdős problem #1039 (analysis, polynomials); current status: open
貢献
Houi with Aristotle and Claude Opus 4.6 · AI working with humans
検証
Lean formalizationListed in Tao's wiki
経緯
First AI contribution 2026-03-06 · wiki data as of 2026-06-30
出典
Problem page (erdosproblems.com)Tao's AI-contributions wiki
部分的
結果
Per Tao's AI-contributions wiki

The problem

Let f(z)=∏i=1n(z−zi)∈C[z]f(z)=\prod_{i=1}^n(z-z_i)\in \mathbb{C}[z] with ∣zi∣≤1\lvert z_i\rvert \leq 1 for all ii. Let ρ(f)\rho(f) be the radius of the largest disc which is contained in {z:∣f(z)∣<1}\{z: \lvert f(z)\rvert< 1\}.

Determine the behaviour of ρ(f)\rho(f). In particular, is it always true that ρ(f)≫1/n\rho(f)\gg 1/n?

Statement quoted from erdosproblems.com/1039, maintained by Thomas Bloom. Original source: [EHP58,p.134]. 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
6-8 Mar, 2026 AI working with humans Aristotle, Claude Opus 4.6 Houi 🟡 Partial result (Lean)
7 May, 2026 AI on its own GPT-5.5 Pro — 🟡 Partial result

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.

∎