erdős #358
Let be an infinite sequence of integers. Let count the number of solutions toIs there such an for which as ? Or even where for all large ?
Worked, still open.
number theory · solved · possible · 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
Write the partial sums [ s_0:=0,\qquad s_k:=a_1+\cdots+a_k\ \ (k\ge 1). ] Then [ \sum_{u\le i\le v} a_i = s_v-s_{u-1}, ] so $f(n)$ is exactly the number of pairs $(i,j)$ with (0\le i<j) such that [ n=s_j-s_i. ] Equivalently, if (S={s_0,s_1,s_2,\dots}), then $f(n)$ is the multiplicity of $n$ in the difference multiset $…
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗formal
AMS 5 11 · textbook (literature)
theorem f_id : f id = fun n ↦ #{d ∈ n.divisors | Odd d}formal-conjectures/358.lean ↗links
has constructed · paper
status
solved