Prefixes of the Fibonacci word that end with a cube (Q2681077)

The result of the paper is just another example of how the Walnut theorem prover helps to establish properties of a given morphic word. Here the author characterizes prefixes of the Fibonacci word ending with a cube (that is, having a non-empty suffix of the form \(uuu\)). In particular, it happens that almost all prefixes are like that. As the author mentions, it would be interesting to generalize the results to an arbitrary Sturmian word, but at the moment, it will require manual proofs.