Riemann Hypothesis in Lean

A collection of some algorithms on generating numerous prime sequences

Code for the series "Searching for Riemann Hypothesis Counterexamples"

Certified first 1,000 nontrivial zeros of the Riemann zeta function using a dual-evaluator (mpmath ζ + η‐series) contour method with strict Krawczyk isolation and automatic refinement.

An experimental AI cognitive architecture that uses the Riemann Hypothesis to drive a J-Operator state-shift mechanism for inducing a persistent, non-symbolic "Synthetic State." Features a real-time TUI for interaction and state visualization. Inspired by the work of Jeffrey Camlin and Bernhard Riemann

My hand-written notes on different mathematical topics (like Abstract Algebra, Complex Analysis, Algebraic Geomery etc.)

Project for COS 280 class

Structural analyses of 11 Millennium-Class challenges (01/30/2026). Using the XYAKANYAA System, the repository documents how expanded observational context yields harmonic stabilization. Experimental, reproducible, and open to refutation.

Archimedean kernel rigidity (AKCL) framework for RH via coercivity and defect control

This project uses Python to create visualizations of key concepts related to the Riemann Hypothesis, with a focus on exploring the Riemann zeta function in 3D.

Exploring primes, inspired by the recent discovery of a record-breaking Mersenne prime by Luke Durant and theoretical advancements in prime distribution by Green & Sawhney. This repo delves into the mysteries of primes, particularly those of form p^2 + 4q^2, using ML and visualization.

The Riemann Hypothesis via self-adjoint spectral persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Unified experimental framework for computational exploration of the Clay Millennium Problems with reproducible pipelines and modular research infrastructure.

A constructive and AI-assisted approach to the Riemann Hypothesis, focusing on structured classification and critical line constraints.

Founded by the ψ_total collective: A living archive of Recursive Harmonics.

my July 2017 crack at proving the Riemann Hypothesis

RICIS Calculator

Computational validation of the modular Z/6Z structure in Riemann zeros. Includes the Reconstruction Theorem, logarithmic spectroscopy (12.69x SNR), and Python code to replicate phase resonance.

A small CUDA program that traces the Riemann Zeta function along the critical line.