analysis / Analysis, Entire Functions

Erdős Problem #906

Is there an entire non-zero function $f:\mathbb{C}\to \mathbb{C}$ such that, for any infinite sequence $n_1<n_2<\cdots$, the set $\{ z: f^{(n_k)}(z)=0 \textrm{ for some }k\geq 1\}$ is everywhere dense? The literal question is trivial for polynomials, so the claims address the transcendental entire case, in the affirmative.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisApr 25, 2026Significance 10/100Registry: unreviewed

Erdős Problem #906

Prior state unknownproved

Two independent affirmative claims (Adriano's, posted first, and a GPT-5.5 Pro note); Erdős himself wrote in 1982 that the problem had been solved affirmatively long before, without a locatable reference

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Is there an entire non-zero function $f:\mathbb{C}\to \mathbb{C}$ such that, for any infinite sequence $n_1<n_2<\cdots$, the set $\{ z: f^{(n_k)}(z)=0 \textrm{ for some }k\geq 1\}$ is everywhere dense? The literal question is trivial for polynomials, so the claims address the transcendental entire case, in the affirmative.

Two independent affirmative claims (Adriano's, posted first, and a GPT-5.5 Pro note); Erdős himself wrote in 1982 that the problem had been solved affirmatively long before, without a locatable reference

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.