Higher derivatives of the Gram function

Abstract

We study the nonlinear phenomenon of the asymptotics of higher-order derivatives of the Gram function $t_u$. We also prove the uniform distribution and continuous uniform distribution modulo one of $t_u^n$ for $n=1,2,\dots$. We use AI to formalize our proofs in Lean.

arXiv comment11 pages. Submitted for publication on August 27, 2026