The Leading Constant for Large-Order Davenport-Schinzel Sequences
Wellman and Pettie noted that the true leading constant for large-order Davenport-Schinzel sequences was known only to lie in an interval. The paper improves the Roselle-Stanton lower bound to match the pigeonhole upper bound in the leading term, resolving the constant to exactly 1/2.
- Result
- Proved
- Status
- Resolved
- AI contribution
- AI-assisted
- Method
- Argument
- Field
- Extremal combinatorics
- Posed by
- Stated as open by Wellman and Pettie
- Year posed
- —
- Years open
- —
- Solved
- 2026-02-17
- Model
- Claude 4.6, GPT 5.2
- Vendor
- Anthropic, OpenAI
- Collaborators
- Jesse Geneson
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 12 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
"Claude 4.6 and GPT 5.2 were used for proof development, exposition, and revision." No individual step is attributed, so the lower tier applies per the methodology.