The Leading Constant for Large-Order Davenport-Schinzel Sequences
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. 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: The Leading Constant for Large-Order Davenport-Schinzel Sequences · Davenport-Schinzel constant
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Claude 4.6
model · ai model contributor · Anthropic
GPT 5.2
model · ai model contributor · OpenAI
Jesse Geneson
human · human collaborator
Lineage and corrections
Corrects The Leading Constant for Large-Order Davenport-Schinzel Sequences →
Supersedes The Leading Constant for Large-Order Davenport-Schinzel Sequences →
The Leading Constant for Large-Order Davenport-Schinzel Sequences evidence for this event
This event attributed to GPT 5.2
The Leading Constant for Large-Order Davenport-Schinzel Sequences parent of this event
This event attributed to Claude 4.6
This event attributed to Jesse Geneson
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
VibeMathed record: The Leading Constant for Large-Order Davenport-Schinzel Sequences evidence for this event
Act on this frontier