{"id":"arxiv/2610.17349","url":"https://arxiv.org/abs/2610.17349","tags":["math.NT"],"score":0,"title":"Higher derivatives of the Gram function","domain":"math.NT","source":"arxiv","authors":["Marius Dundulis","Ramūnas Garunkštis","Antanas Laurinčikas","Raivydas Šimėnas"],"reviews":0,"subject":"math.NT","summary":"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^n_u$ for $n = 1, 2, \\dots$. We use AI to formalize our proofs in Lean.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}