proposed
reason
Candidate claim vc_13988b69f3dd2e6d imported from artifact packet cap_f4e8bcd294c97ba7
finding type
theoretical
proposed confidence
0.95
confidence basis
agent-imported candidate claim; reviewer acceptance required
frontiers / frontier
e1271/1271 · statement.attested · reviewer:will-blair · 2026-06-10 · null→null
Reviewable change
back to reviewErdős #885 (?, AMS 11). STATEMENT: For integer $n \geq 1$ we define the factor difference set of $n$ by $D(n) = \{|a-b| : n=ab\}$. FORMAL: erdos_885: answer(sorry) ↔ ∀ k ≥ 1, ∃ Ns : Finset ℕ, (∀ n ∈ Ns, 1 ≤ n) ∧ Ns.card = k ∧ (⋂ n ∈ Ns, factorDifferenceSet n).ncard ≥ k; erdos_885: ∃ Ns : Finset ℕ, (∀ n ∈ Ns, 1 ≤ n) ∧ Ns.card = 2 ∧ (⋂ n ∈ Ns, factorDifferenceSet n).ncard ≥ 2; erdos_885: ∃ Ns : Finset ℕ, (∀ n ∈ Ns, 1 ≤ n) ∧ Ns.card = 3 ∧ KNOWN/REMARKS: # Erdős Problem 885 *References:* - erdosproblems.com/885 - [ErRo97] Erdős, P. and Rosenfeld, M., The factor-difference set of integers. (1997) - [Ji99] Jiménez-Urroz, J., A note on a conjecture of Erdős and {R}osenfeld. (1999) - [Br19] Bremner, A., On a problem of Erdős related to common factor differences. (2019) | Is it true that, for every $k \geq 1$, there exist integers $N_1 < \dots < N_k$ s RELATED: [] OEIS: []
A proposal; no authority until an accepted review event.
accept gate
0 of 4 on recordtimeline
vpr_8ef0d39bf9e2b019Candidate claim vc_13988b69f3dd2e6d imported from artifact packet cap_f4e8bcd294c97ba7proposed
reason
Candidate claim vc_13988b69f3dd2e6d imported from artifact packet cap_f4e8bcd294c97ba7
finding type
theoretical
proposed confidence
0.95
confidence basis
agent-imported candidate claim; reviewer acceptance required
provenance
proposed by
agent:erdos-deep-ingest
actor type
agent
created at
2026-06-04
target type
finding
Read-only frontier; diff not recomputed.
Erdős problems frontier receives a reviewable source, finding, caveat, replication, evaluation, or proof-affecting edit.
The packet names affected record objects, evidence, rationale, reviewer-facing fields, and expected proof impact.
Schema, provenance, benchmark, contradiction, and proof checks decide whether the request is ready to read.
A steward accepts, rejects, caveats, revises, or retracts the request under an inspectable identity.
Only the accepted event mutates frontier state. Atlases, constellations, and search update from that record state.
Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.