the actual manuscripts
These are preprints. Each entry has the typeset PDF, the LaTeX manuscript, the complete public source package, and a readable explanation of the mathematical move.
Every ordered translation minor through order four is strictly positive, while a certified equally spaced minor is negative at order five.
Scope note: The theorem concerns the fixed zero-heat kernel. It does not assert PF5, all-order total positivity, a heat-neighborhood result, or an implication for the Riemann hypothesis.
sha256 979c97361467... / 79d8017065b8...
A finite interval-arithmetic proof that zeta has no zero to the right of 1 - 1/(4.80 log t) for every real t at least 2.
Scope note: The theorem is strict-boundary, computer-assisted, and tied to the stated detector, packet, and 2,048-box cover; it is not an optimality theorem.
sha256 8c5cf47bf511... / 5702df042b32...
Explicit global and effective large-height zero-free regions, including the global pair (10.295195, 61.272145) and an exact degree-46 certificate.
Scope note: The smaller pair (9.93082, 48.07157) begins only above an effectively computable height that is not numerically evaluated, and a possible exceptional real zero at height zero remains.
sha256 9e13614e33d0... / e2124432d15e...
Endpoint-flat arithmetic approximants admit explicit Poisson-Dini real-zero tails, while fixed-order superheat confines nonreal zeros to an explicitly growing central core.
Scope note: The central transition chamber is untreated, the core still diverges at every fixed order, and the result does not prove the Riemann hypothesis.
sha256 f1b02aab8842... / 19b1d1ac69af...
A computer-assisted proof that every interval between consecutive sixty-fourth powers contains a prime, together with exact fixed-range Perron-weight optimization.
Scope note: The proof depends on a narrow explicit numerical margin and substantial certified inputs; it does not claim that exponent 64 is optimal.
sha256 8038a930923e... / 4f81010de1d7...
A computer-assisted proof that the de Bruijn-Newman constant is at most 0.1729, improving the established unconditional bound 0.22.
Scope note: This is a fixed-architecture certificate, not an optimality theorem; failure of a raw 0.1728 scan is not a lower bound.
sha256 57b4f128db9d... / 5058fd922abf...
A complete audit of Axler's Tables 7-9, including two false rows, sharp coefficient or starting-point repairs, and exact threshold cells.
Scope note: The largest table interiors inherit one pinned exhaustive implementation rather than a fresh second full prime enumeration.
sha256 85a6b83f7bf5... / 3bf37f639d19...
A class obstruction showing why an open sufficient certificate cannot accept Xi while continuously accepting no members of its known bad negative-time family.
Scope note: The theorem excludes only the precisely stated robust-interior completion move; it does not disprove positivity methods as a whole or classify every RH criterion.
sha256 236cfe96f7c4... / ca10fe47fc1d...
The positive weight 1/xi(1/2+x) generates an orthogonal-polynomial ensemble with finite-index recurrence floors, shifted Lambert-W asymptotics, Gaussian statistics, and an Ullman limit law.
Scope note: The results concern the positive real-axis reciprocal-Xi weight and explicitly admit premise-matched off-axis counterfeits; they do not imply the Riemann hypothesis.
sha256 d5c1d41e6ac0... / a9eca38c7fee...