formal registration · pending
Artifact ↗Source authenticated
The Erdos-Borwein Constant is 2-Dense
This work proves that the Erdős–Borwein constant's binary expansion contains every finite binary sequence as a consecutive block, each occurring infinitely often. This implies that the Erdős–Borwein constant is 2-dense.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Sep 7, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: The Erdos-Borwein Constant is 2-Dense
Confidence: Not scored
Registry verification: lean checked · preprint · candidate
Attribution
VibeMathed
registry · event recorded by
ChatGPT-6 Astra
model · ai model contributor · OpenAI
Artifacts and verifiers
lean artifact · pending
Artifact ↗Compute record
No linked compute attempts recorded.
Lineage and corrections
The Erdos-Borwein Constant is 2-Dense evidence for this event
This event attributed to ChatGPT-6 Astra
The Erdos-Borwein Constant is 2-Dense parent of this event
VibeMathed record: The Erdos-Borwein Constant is 2-Dense evidence for this event
PrimeInputs.lean: the two external estimates, stated exactly evidence for this event
Lean verification record and axiom audit evidence for this event
This work proves that the Erdős–Borwein constant's binary expansion contains every finite binary sequence as a consecutive block, each occurring infinitely often. This implies that the Erdős–Borwein constant is 2-dense. parent of this event
Act on this frontier