Computational verification of continued fraction convergence rates for the first 8 non-trivial zeros of the Riemann zeta function via the STA algorithm. Effective rate: 3.33±0.54 bits/CF term, consistent with the Lévy constant prediction of 3.42 bits/term. Includes computability bound.
Ricardo Hernández Reveles (2026) studied this question.