code · pending
Artifact ↗Expected finite k-adic complexity in general integer bases
The manuscript claims for every integer and . It gives for prime-power bases and a strict inequality below for bases with exactly two distinct prime factors. The example disproves a universal zero-correction bound. Section 1 identifies the standard rational observable with the source question. Written arguments combine classical imports, finite certificates and infinite-tail estimates. The optimal additive constant and finite-length attainment remain open. Constrained FCSR connection integers and rounded register lengths are not identified with this observable. The earlier binary theorem is credited and imported.
Exact FrontierDelta
Scope and record
Occurred: Oct 1, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-assisted. 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: Expected finite k-adic complexity in general integer bases · Mean k-adic complexity
Confidence: Not scored
Registry verification: unreviewed · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
OpenAI GPT models (versions unspecified)
model · ai model contributor · OpenAI
Oleksiy Babanskyy
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Oleksiy Babanskyy
Expected finite k-adic complexity in general integer bases evidence for this event
VibeMathed record: Expected finite k-adic complexity in general integer bases evidence for this event
Fixed manuscript, certificates and reproduction instructions evidence for this event
Lin-Xiao-Chen, Question 3.2, printed page 20282 evidence for this event
Expected finite k-adic complexity in general integer bases parent of this event
The manuscript claims for every integer and . It gives for prime-power bases and a strict inequality below for bases with exactly two distinct prime factors. The example disproves a universal zero-correction bound. Section 1 identifies the standard rational observable with the source question. Written arguments combine classical imports, finite certificates and infinite-tail estimates. The optimal additive constant and finite-length attainment remain open. Constrained FCSR connection integers and rounded register lengths are not identified with this observable. The earlier binary theorem is credited and imported. parent of this event
This event attributed to OpenAI GPT models (versions unspecified)
Act on this frontier