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.

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

Canonical-lane closure package for Trace-Formula Endoscopy: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for Sato-Tate general forms: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for Companion Forms: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for Global Langlands reciprocity: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for the Buzzard-Gee Conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

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

Canonical-lane closure package for the Grand Riemann Hypothesis: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for Trace Formula Architecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for the Artin Holomorphy Conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for Local-Global Langlands Compatibility: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.