Riemann Hypothesis in Lean

Code for the series "Searching for Riemann Hypothesis Counterexamples"

Experimental Riemann Hypothesis numeric scanner for Python

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

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

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

Riemann's Hypothesis

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

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.

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

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

All the solutions to every Millenium Prize

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.

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型構成により完全整合を実現。