A proof of the hard Goldbach Conjecture up until 1 billion numbers
-
Updated
Nov 29, 2025 - Python
#
goldbach
Here are 8 public repositories matching this topic...
Empirical experiments on Goldbach stopping times, shadow tau, and pattern-level clone recurrence.
reproducible-research prime-numbers number-theory goldbach-conjecture computational-number-theory goldbach sieve-methods empirical-mathematics shadow-tau stopping-time shadowtaurequiem
-
Updated
May 30, 2026 - Python
Preprint and reproducibility package for the NID / HELIX Goldbach workbench using finite rooms, active mirror doors, blocker walls, Lean, and Sage.
mathematics proof-assistant sage lean formal-methods formal-verification number-theory sagemath mathlib goldbach-conjecture computational-number-theory lean4 goldbach residue-classes finite-verification
-
Updated
Jun 7, 2026 - Lean
The work of Group i don't know of Camp Euclid 2021 for looking different trends through plots on Goldbach's Conjecture.
-
Updated
Nov 20, 2021 - Python
AI report on residue-class Goldbach stopping-time statistics and local sieve corrections.
reproducible-research fft prime-numbers computational-number-theory goldbach ai-report sieve-methods
-
Updated
May 27, 2026 - C
A sieve-assisted arithmetic framework based on tau stopping times, lapse prefixes, and sync transfer rules.
reproducible-research sieve prime-numbers number-theory computational-number-theory twin-primes goldbach tau-sync-sieve
-
Updated
Jun 7, 2026
Improve this page
Add a description, image, and links to the goldbach topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the goldbach topic, visit your repo's landing page and select "manage topics."