Charton (2023) trains sequence-to-sequence transformers to predict the greatest common divisor (GCD) of two positive integers, encoded as sequences of digits in some base \(B\). He observes that model predictions are deterministic: for any pair \((a,b)\) with GCD \(k\), the model predicts a single value \(f(k)\). Predictions are correct (i.e. \(f(k)=k\)) when the GCD is a product of divisors of the base, or of small primes. In all other case, the model prediction is the largest correct prediction (i.e. \(l\) such that \(f(l)=l\)) that divides \(k\). The list of correct predictions \(\mathcal{L}\) varies with the encoding base \(B\). For instance, for \(B=10\), after 300 million examples, the model correctly predicts \(\mathcal{L}=\{1,2,4,5,8,10,16,20,25,40,50,80,100...\}\), the GCD of \(20\) and \(30\) will be correctly predicted as \(10\), but the GCD of \(210\) and \(140\) will be incorrectly predicted as \(10\) (instead of \(70\)).