Supersession history · C-0130
A certified de Bruijn–Newman upper bound of 0.1729
This lineage preserves 2 earlier results that led to the current listed result.
Read current walkthroughCertified de Bruijn-Newman upper bound Lambda <= 0.186362405
In the standard Polymath15 normalization of the de Bruijn-Newman heat family, Lambda <= 37272481/200000000 = 0.186362405. This follows by exact rational comparison from the stronger repaired C-0108 theorem Lambda <= 7/40 = 0.175.
Certified de Bruijn-Newman upper bound Lambda <= 0.175
In the standard Polymath15 normalization of the de Bruijn-Newman heat family, Lambda <= 7/40 = 0.175. The release package verifies every numerical, tail, canopy, barrier, manifest, runtime, and parser gate and includes a complete abstract pattern-space regression covering all 142 reachable zero- through three-prime state sequences, including all 104 three-prime patterns.
Certified de Bruijn-Newman upper bound Lambda <= 0.1729
In the standard Polymath15 normalization of the de Bruijn-Newman heat family, Lambda <= 1729/10000 = 0.1729. The proof uses X=6000000185827, t0=3377/20000, y0=9/100, published source record S-0001, a cutoff-uniform sparse four-prime finite canopy, complementary analytic tails, and an 844-rectangle argument-principle barrier. It improves the established Polymath15 bound 11/50 by exactly 471/10000 and supersedes the weaker C-0108 and C-0068 numerical targets.