Search papers, labs, and topics across Lattice.
This paper introduces a fully GPU-resident architecture for verifying Goldbach's conjecture, eliminating host-side bottlenecks and PCIe transfer latency by migrating the segment generation pipeline to the GPU using optimized L1 shared-memory tiling. An asynchronous, lock-free work-stealing pool is implemented for efficient multi-GPU utilization, achieving high parallel efficiency. The architecture achieves a 45.6x algorithmic speedup over prior host-coupled methods, verifying Goldbach's conjecture up to $10^{12}$ in 36.5 seconds on a single RTX 5090.
Forget CPU bottlenecks: a fully GPU-resident architecture verifies Goldbach's conjecture up to $10^{12}$ in under 40 seconds on a single RTX 5090.
We present a fully device-resident, multi-GPU architecture for the large-scale computational verification of Goldbach's conjecture. In prior work, a segmented double-sieve eliminated monolithic VRAM bottlenecks but remained constrained by host-side sieve construction and PCIe transfer latency. In this work, we migrate the entire segment generation pipeline to the GPU using highly optimised L1 shared-memory tiling, achieving near-zero host-device communication during the critical verification path. To fully leverage heterogeneous multi-GPU clusters, we introduce an asynchronous, lock-free work-stealing pool that replaces static workload partitioning with atomic segment claiming, enabling $99.7$% parallel efficiency at 2 GPUs and $98.6$% at $4$ GPUs. We further implement strict mathematical overflow guards guaranteeing the soundness of the 64-bit verification pipeline up to its theoretical ceiling of $1.84 \times 10^{19}$. On the same hardware, the new architecture achieves a $45.6\times$ algorithmic speedup over its host-coupled predecessor at N = $10^{10}$. End-to-end, the framework verifies Goldbach's conjecture up to $10^{12}$ in $36.5$ seconds on a single NVIDIA RTX 5090, and up to $10^{13}$ in $133.5$ seconds on a four-GPU system. All code is open-source and reproducible on commodity hardware.
