Erdős problem 424 · problems.science

Let $a_1 = 2$ and $a_2 = 3$ and continue the sequence by appending to $a_1, \dots, a_n$ all possible values of $a_ia_j - 1$ with $i \ne j$ . Is it true that the set of integers which eventually appear has positive density?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/424.lean

Formal Conjectures

FormalConjectures/ErdosProblems/424.leanErdos424.erdos_4241 lineExact file

1sorry ↔ Erdos424.generatedSet.HasPosDensity

OpenStatement only, no proof

Proof manifests naming this Problem

PLBY Lean proofsErdosProblems.Erdos424

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

argument
VibeMathed
Machine
GPT-5.6 Pro
People
Samuel Korsky
Reported outcome
candidate
Open the source record

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Proof manifests naming this Problem

Reported activity

Continue

Search problems.science