dirichlet-l-functions

Unconditional: at least 93.22% − ε of the zeros of a weighted family of Dirichlet L-functions are simple and on the critical line, with a machine-checked Lean 4 proof. Paper, formalisation and verification records.

Prime quintuplets and the sextuplet boundary for Q(n)=n^47-(n-1)^47 (Titan Project, Part III). Exact Bateman-Horn singular series via Dirichlet L-functions mod 47; parameter-free prediction of 7 quintuplets / 0 sextuplets up to 2e11; first sextuplet expected near N*~1e13. Paper, data, scripts. v2 DOI 10.5281/zenodo.23178170

Rigorous ball-arithmetic certification of the Riemann zeta function, Dirichlet L-functions and Guinand-Weil spectra: certified interval enclosures, sealed hash-chained ledgers, CI-guarded reproducibility.