Riemann Hypothesis in Lean

Code for the series "Searching for Riemann Hypothesis Counterexamples"

Monster Group–Riemann Zeta spectral connection: 28,160 testable Lehmer pair predictions. CC-BY-4.0 data, MIT scripts.

A collection of some algorithms on generating numerous prime sequences

Experimental Riemann Hypothesis numeric scanner for Python

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

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

Simulations of the Ethical Riemann Hypothesis (ERH), which states that in a "healthy" moral judgment system, the error in predicting critical misjudgments grows at most like √x, where x is the complexity of the decision.

"A zero-parameter derivation of 25+ fundamental constants of nature from E₈ → H₄ icosahedral projection, plus many more falsifiable predictions."

This repository presents Version 2.5 of a formally complete, structurally reinforced, and type-theoretically encoded resolution of the Riemann Hypothesis (RH), formulated through Collapse Theory and the AK High-Dimensional Projection Structural Framework (AK-HDPST v12.5).

Riemann's Hypothesis

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

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 proof of the Riemann Hypothesis via toroidal geometry. Zeros are caustic singularities forced to the throat by the Gram matrix cosh structure.

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.

Formal verification of the Riemann Hypothesis via OMEGA framework and Coq/Rocq kernel.

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

Machine-checked (Lean) conditional reduction of the Riemann Hypothesis to explicit analytic assumptions (A, B, C) with reproducible certificates.