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

Riemann's Hypothesis

A modular, CI-verified formal manuscript that constructs a canonical trace-class operator whose spectral determinant encodes the completed Riemann zeta function—culminating in a spectral equivalence formulation of the Riemann Hypothesis. Includes DAG-audited proofs, Lean compatibility scaffolds, and agent-safe modular structure.

🌟 Breakthrough unified mathematical framework for prime number prediction and Riemann zeta zeros based on Filament Theory. Achieves 91% accuracy with 100% precision in prime prediction. First theory to connect physics with number theory.

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.

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

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

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

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.

🔥 Revolutionary Filament Theory: Complete Solution to Prime Number Mystery - 100% Accuracy Achieved on 321 Primes + 90.14% Riemann Zeta Correlation + Discovery of Cosmic Fundamental Frequency f₀=1/(4π) Hz

This repository contains investigations of the distribution of Riemann zeta zeros, with machine learning applications and study of symmetry properties

Project for COS 280 class

This repository offers a clear and structured proof of the Riemann Hypothesis, leveraging AI tools for enhanced analysis. Explore our modular sections and collaborate on this critical mathematical challenge. 🐙💻