Proposed
Proposed numerical bound · unreviewed candidate ↗
Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.
Observed Oct 10, 2026
Bound · version 1
Proposed result: Λ ≤ 0.1787854
Earlier version 1. View current version 2 →
Statement
The candidate claims Λ ≤ 893927/5000000 = 0.1787854 using X = 6000000185827, t₀ = 129/800 and y₀² = 87677/2500000 in the Polymath15 criterion.
Assumptions
- Classical heat-flow normalization.
- Uses published finite RH verification below the barrier, the Polymath15 criterion and the candidate interval certificate package.
- No global RH assumption is claimed; certificate correctness and theorem-to-code alignment are unassessed here.
Scope
A source-reported candidate improvement over the selected published 0.2 baseline.
This source presents a theorem with a proposed proof. Its wording does not establish acceptance or independent mathematical review.
Evidence
Source reports
Connections
In this problem · publication v4
Riemann hypothesis →
Bound · Proposed
Even a valid positive upper bound would leave Λ = 0 open. This candidate is not counted as established progress or used to replace the published baseline.
Relationship not independently reviewed. This concerns its use in this problem.
Sources
Gomila · proposed improved Newman bound →
- README exact parameters; release manuscript; OPEN_REVIEW_QUESTIONS → · Original passage ↗
Recorded wording
The candidate reports Λ ≤ 893927/5000000 = 0.1787854 by Polymath15 and interval certificates.
paraphrase · No upstream full text or code is republished by this record.
Jude Gomila · Project documentation
Public candidate audit package, not yet peer reviewed. The author reports interval certificates; AI referee checks do not establish independent human mathematical acceptance.
Interval certificates and replay package ↗No OpenMath execution recorded
Revision & attribution
Source revision: git-a74738deb6d5e0f76887cb36901da08b68dca705. Observed Oct 10, 2026.
The author discloses human–AI collaboration using Claude and ChatGPT/Codex. Model versions are not established by this curation; the attributed author and operator are separate from AI companies.
Interval certificates and replay package: a74738deb6d5e0f76887cb36901da08b68dca705. Read-only artifact links; OpenMath has not run the verifier or replayed the interval certificates.
History
Statement versions
Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.
Assessment history · 1
Assessments retained in these publication records. Earlier statement versions retain their own source histories.
Proposed
Proposed numerical bound · unreviewed candidate ↗
Only the exact statement, domain and revision cited by this Claim; this is not a resolution of classical RH or independent OpenMath expert assessment.
Observed Oct 10, 2026 · Source passage →
Record details
- Claim ID
- claim-rh-proposed-newman-improvement
- Statement version
- 1
- SHA-256
- cc07605d667ec32f0ca976570765df770534f32246d452ab29fe63fa604bd073