OFFSET
1,1
COMMENTS
Discovered by David W. Wilson in 2007 (see 2016 Angelini link).
The first choice point occurs for the term after a(412987860) = 19999999918, which has two comma-children.
We do not know which choice to take at that point. We do know by König's Infinity Lemma that one or both forks will extend to infinity. The definition of this sequence requires that we choose the smallest fork that has an infinite continuation.
Update, Dec 22 2023: We now know that the start of this sequence is one of four candidates (all other possible starts having terminated). The shortest of the four possible starts has length
8278670191169895553395510925614764265575448369172463113087634743486440833078554
In other words, we know that there are only four possibilities for the initial prefix of that length.
LINKS
N. J. A. Sloane, Table of n, a(n) for n = 1..20000
Eric Angelini, The Commas Sequence, Message to Sequence Fans, Sep 06 2016. [Cached copy, with permission]
Eric Angelini, Michael S. Branicky, Giovanni Resta, N. J. A. Sloane, and David W. Wilson, The Comma Sequence: A Simple Sequence With Bizarre Properties, arXiv:2401.14346, Youtube
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Michael S. Branicky and N. J. A. Sloane, Dec 20 2023
STATUS
approved