erdős #347
Is there a sequence of integers withsuch thathas density for every cofinite subsequence of ?
Worked, still open.
number theory · solved · formalized (Lean) · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
As of **January 16, 2026**, this is **not known**: the existence of such a sequence $A$ with [ \lim_{n\to\infty}\frac{a_{n+1}}{a_n}=2 ] and with the property that **for every cofinite subsequence** (A'\subseteq A), the finite subset-sum set [ P(A')=\\{\sum_{n\in B} n : B\subseteq A'\ \text{finite}\\} ] has **(natural) …
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗formal
AMS 11 · solved (literature)
theorem erdos_347 :
answer(True) ↔ ∃ a : ℕ → ℕ, (Monotone a) ∧
(Tendsto (fun n ↦ (a (n + 1) : ℝ) / (a n : ℝ)) atTop (𝓝 2)) ∧
(∀ ι : ℕ → ℕ, (range ι)ᶜ.Finite → HasDensity (𝓟 (range (a ∘ ι))) 1)formal-conjectures/347.lean ↗status
solved