Rodgers–Tao · Newman constant is nonnegative
Published in Forum of Mathematics, Pi (2020). The pinned 2021 author revision records a correction to Section 8; earlier manuscript history is not silently substituted.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
After the nonnegativity theorem, RH is equivalent to Λ = 0.
Passage ID: riemann-hypothesis:rh-newman-equivalence:v1
Source item: arxiv-1801.05914#rh-newman-equivalence
Source record: arxiv-1801.05914@arxiv-v5
The de Bruijn–Newman constant Λ is nonnegative.
Passage ID: riemann-hypothesis:rh-newman-lower:v1
Source item: arxiv-1801.05914#rh-newman-lower
Source record: arxiv-1801.05914@arxiv-v5
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v13
Source assessment · superseded assessment
Open
Equivalent target Λ = 0 remains open
Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.
Source date Jul 3, 2021 · Observed Oct 10, 2026
Source assessment
Proved
Exact scoped statement in cited source
Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.
Observed Oct 10, 2026
Connection
RH gives Λ ≤ 0; the proved Λ ≥ 0 turns this into the target Λ = 0.
Source assessment
Open
Exact scoped statement in cited source
Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.
Observed Oct 10, 2026
Source assessment
Proved
Scoped theorem in cited source
Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.
Source date Jul 3, 2021 · Observed Oct 10, 2026
Question
Riemann hypothesis
Connection
The two proved inequalities enclose the same normalized constant in [0, 0.2].
History
Newman’s nonnegativity conjecture
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External source evidence; no OpenMath execution or independent reproduction is attached.
Resource revision: arXiv:1801.05914v5
Recorded authorship
Brad Rodgers · Terence Tao
Brad Rodgers; Terence Tao
The cited work does not report AI involvement; absence of attribution is not evidence of absence.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Rodgers–Tao · Newman constant is nonnegative
No upstream full text or code is republished by this record.
Source terms ↗