Riemann Hypothesis in Lean

Code for the series "Searching for Riemann Hypothesis Counterexamples"

Experimental Riemann Hypothesis numeric scanner for Python

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

A collection of some algorithms on generating numerous prime sequences

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

Riemann's Hypothesis

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

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).

Marco de Resonancia Aritmética basado en Omega(n)=d(2n)-4. La función caracteriza la primalidad, propone una formulación de la Conjetura ABC y define constantes fundamentales. El modelo dinámico, Psi_E(n) postula una equivalencia física para la Hipótesis de Riemann. Este repositorio incluye la teoría y el código de simulación.

Integración de Teoría Modular_pi, trigonometría y algoritmo

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.

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.

Project for COS 280 class

Unified constructive and non-constructive proof of the Riemann Hypothesis. Prime density, ζ-function symmetry, and A-type structure ensure full consistency. リーマン予想に対する構成的・非構成的な統合証明。素数密度・ゼータ関数対称性・A型構成により完全整合を実現。

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.

"$\hat{H} = xp + i\lambda(xe^{-x^2} + \epsilon \cos x)$ | Proving the spectral reality of Riemann Zeros through Half-Integer Topology and Maslov Index correction."

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

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