Fabijonas–Olver conjecture on error terms in Airy-zero expansions

Let $a_k$ and $b_k$ be the quantities whose asymptotic expansions are under consideration, and let the $N$th error term mean the error obtained by stopping the corresponding expansion immediately before its term indexed by $N$. Fabijonas–Olver conjecture. In the expansions of $a_k$ and $b_k$, the $N$th error term is bounded in absolute value by the first neglected term and has the same sign as that term for all values of $N\geq 1$. Earlier work established this behavior for the first several error terms, while computer algebra verification supported the alternating-sign pattern through $n=99$. The supplied text does not state whether the conjecture has been resolved.