cahlen / idontknow Star 0 Code Issues Pull requests GPU-accelerated computational mathematics: Zaremba's Conjecture (A=5) proof via 210B brute force + MOW spectral theory + arb interval arithmetic. CUDA kernels, transfer operators, MPFR certification. 8×B200 DGX cluster. cuda high-performance-computing gpu-computing interval-arithmetic number-theory mpfr continued-fractions mathematical-proof spectral-theory zaremba-conjecture Updated Apr 23, 2026 Cuda