Powered by OpenAIRE graph
Found an issue? Give us feedback
ZENODOarrow_drop_down
ZENODO
Preprint . 2025
License: CC BY
Data sources: Datacite
ZENODO
Preprint . 2025
License: CC BY
Data sources: Datacite
versions View all 2 versions
addClaim

Fixed-Gear Goldbach Engine: Trillion-Scale Constant-Residue Verification

Authors: Kratochvil, Joshua;

Fixed-Gear Goldbach Engine: Trillion-Scale Constant-Residue Verification

Abstract

This preprint presents a new, high-throughput engine for empirical verification of the even Goldbach conjecture at unprecedented scale. Leveraging a fixed “gear” of small primes and constant-residue search, the method reduces verification of even numbers to a single streaming pass with O(1) cost per value. The engine supports both segmented-sieve and 64-bit deterministic Miller-Rabin modes, and is capable of processing windows of up to a trillion even numbers in a matter of hours on a single workstation. Goldbach states: every even number ≥ 4 is a sum of two primes. The naive check for an even n tries many primes p and hopes that n − p is prime. Our idea is simpler: fix a small set of primes Q = {q1, . . . , qK } (the “gear”), and for each even n only test p = n − q with q ∈ Q. If any p is prime, that even is verified. Empirically, one of the first few q works almost always, so the cost per n is nearly constant. We sweep large windows using a 1-bit-per-even coverage array. Primality is implemented either by sieving just the p-range needed (fast up to 1011) or by a deterministic 64-bit Miller–Rabin for slices near 1018. The approach is implemented in C#/.NET, designed for parallel execution across CPUs, and produces checkpointed, auditable coverage data for each segment. All code, documentation, and result artifacts are fully open and reproducible (see linked repository). Results demonstrate universal coverage for K=300 (the first 300 primes as gear) with no observed exceptions at trillion-scale intervals. This work is intended as an auditable, practical tool for open mathematical exploration, not a proof. This work was conducted independently at Black Star Labs without external funding. The implementation prioritizes reproducibility and accessibility, enabling verification on consumer hardware. All source code, implementation details, and result artifacts are freely available under Apache 2.0 license.

Keywords

high performance computing, empirical verification, computational mathematics, number theory, mathematics, open science, Goldbach conjecture, reproducible research, C#, Goldbach

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!