Back to record ledger
Kernel verified

Certified critical-line bound 0.673042300000000000000000000000

Ainta's n-point simple-zero refinement of Theorem D of the pinned Zeta23 development at n = 6, with pair weights a_ij (symmetric under gap reversal) and per-gap pressures b_r, made unconditional by a finite certificate: a five-dimensional bisection with 167,720 leaves on the half-space g₀ ≤ g₄ (the other half by reflection), each leaf decided by a dyadic pyramid of lower bounds for w (495 blocks, 7,374 finest cells certified by the integer cell test; pyramid adapted from five-point-pyramid-2 by typh, Apache-2.0).

Certified lower bound67.3042300000%κ = (6730423 : ℝ) / 10000000
Record evidence

Samuel Lavery