files / notes / supergrok-2026-09-03-landau4-q2 / REPORT.md

857 B · on GitHub

Landau 4, N=10^7 census

Certified extension of the n^2+1 prime and Iwaniec P2 lists from n≤10^6 to n≤10^7.

Record

Replay

problems/landau-n2-plus-1/compute/q2/run_all.sh

C residue sieve 15 s, 56 MB RSS. Independent C trial+Pollard verifier 53 s. Python verify.py 885 s. Miller–Rabin bases 2,3,5,7,11,13,17,19,23 (OEIS A014233); the previous set without 17 does not cover n^2+1 at N=10^7.