automorphic-forms

Adèlic spectral frameworks for computational number theory: exploring exact discrete bounds for pattern avoidance via CP-SAT, and quantum-physical realizations of automorphic L-function zeros.

Weil's explicit formula for ζ(s): an exact magic function F = Ξ²H shows the Odlyzko–Poitou–Serre method is sharp for ζ (κ* ≤ 0), and every positive solution is ζ's own zeros and primes (Conjectures S and U of Part I). Paper, certificates, Lean 4 spine and reviewing guide.

A package for working with truncated genus-2 Siegel modular forms

An Autonomous Mathematical Research Agent for the Riemann Hypothesis. Build, attempt, and archive mathematical hypotheses related to the Riemann Hypothesis — autonomously, around the clock, the moment it is launched