goldbach-conjecture

Goldbach conjecture = 25-state turing machine

A Lean 4 formalization of the ternary (weak) Goldbach theorem, with an explicit audited finite and computational trust boundary.

Programatically testing the goldbach conjecture

A repository exploring two major conjectures in number theory, the Goldbach conjecture and the twin-prime conjecture, through minimal Goldbach partitions and two new identities involving $\pi(n)$ and $\pi_2(n)$

Prosty program konsolowy C++ sprawdzający Hipotezę Goldbacha

Unified constructive proof of the Goldbach and Collatz conjectures using AI-structured number theory

Goldbach Conjecture: a study on one of the oldest and best-known unsolved problems in all of mathematics.

A Machine-Verified Constructive Proof of Lemoine's Conjecture.

Research archive and the collective progress of humanity to Goldbach's Conjecture and potential approaches to solve it.

A proof of the hard Goldbach Conjecture up until 1 billion numbers

Compute the Goldbach partition function efficiently

構成的素数構造（6n±1）と除去関数により、Goldbach予想・Bertrand仮説・Catalan予想を共通基盤から再構成。非構成的証明とも形式整合し、論理強度と実行再現性の両立を実現。GitHubにて統合証明パッケージとして公開。 Using the 6n±1 prime structure and composite exclusion, we reconstruct and unify constructive proofs of Goldbach, Bertrand, and Catalan conjectures, demonstrating formal alignment with classical non-constructive methods.

prime numbers and cryptography

Repository for INNOW 2023

Minimal Goldbach pairs in prime and twin-prime counting

Number Theory library to help solve Goldbachs Conjecture.

Algorithm for checking the validity of Goldbach's Conjecture.

This project was designed to serve as a research-grade symbolic reasoning dashboard that helps others explore the bridge between computational logic and interactive visualization.

The Goldbach conjecture, which states that every even integer M>2 can be expressed as the sum of two primes P and Q, has remained unresolved for nearly three centuries. This repository makes public my research on this field of knowledge.

This function return the minor prime number which composes a even number.