Skip to content

Erdős problem 326

Does there exist A={a1<a2<⋯ }⊂NA=\{a_1<a_2<\cdots\}\subset \mathbb{N} which is a minimal basis of order 22 (every large integer is the sum of 22 elements from AA, and no proper subset of AA has this property) such that lim⁡k→∞ak/k2=c\lim_{k\to \infty}a_k/k^2=c for some c≠0c\neq 0? A claimed construction gives a minimal basis with A(x)=Cx+O(1)A(x)=C\sqrt{x}+O(1), answering the question affirmatively; Erdős and Graham had conjectured a negative answer.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/326.lean

Formal Conjectures

FormalConjectures/ErdosProblems/326.leanErdos326.erdos_3268 linesExact file
True ↔  ∀ (A : Set ℕ),    A.IsAddBasisOfOrder 2 →      ∃ b,        StrictMono b ∧          ∀ (n : ℕ),            b n ∈ A ∧              (Set.range b).IsAddBasis ∧ ∀ (x : ℝ), ¬Filter.Tendsto (fun n => ↑(b n) / ↑n ^ 2) Filter.atTop (nhds x)
OpenStatement only, no proof

Reported activity

Reported by these sources. Not reviewed here.

  • AI collaborating with humans

    Erdős AI contributions wiki · 20 May-14 Jun, 2026

    Machine
    Aristotle, Codex, GPT-5.5
    People
    Aron Bhalla
    Open the source record
  • construction

    VibeMathed

    Machine
    GPT-5.5, Aristotle, Codex
    People
    Aron Bhalla
    Reported outcome
    candidate
    Open the source record

Continue