Reading source record git-a74738deb6d5e0f76887cb36901da08b68dca705. View default cited record →
Gomila · proposed improved Newman bound
Public candidate audit package, not yet peer reviewed. The author reports interval certificates; AI referee checks do not establish independent human mathematical acceptance.
1 cited passage ↓1 problem ↓Record git-a74738deb6d5e0f76887cb36901da08b68dca705 ↓
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The candidate reports Λ ≤ 893927/5000000 = 0.1787854 by Polymath15 and interval certificates.
Passage ID: riemann-hypothesis:rh-gomila-newman-candidate:v1
Source item: gomila-newman-candidate#rh-gomila-newman-candidate
Source record: gomila-newman-candidate@git-a74738deb6d5e0f76887cb36901da08b68dca705
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v13
Source assessment
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
Classical Newman constant Λ
Research activity
Recent AI-related proposals awaiting assessment
OpenAI reports a seven-eighths zero-free half-plane with Lean artifacts; Gomila reports an improved positive Newman upper bound with interval certificates. Each proposed Claim has its own scope and pinned source evidence.
These are proposals in this publication, excluded from established progress. No cited source establishes the full classical RH here.
History
An individual numerical Newman-bound candidate
Question
Riemann hypothesis
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Source-reported evidence
Claimed bound Λ ≤ 893927/5000000; certificate inputs and theorem-to-code alignment remain unassessed by OpenMath.
Resource revision: a74738deb6d5e0f76887cb36901da08b68dca705
Code
No OpenMath execution recorded
Read-only artifact links; OpenMath has not run the verifier or replayed the interval certificates.
Resource revision: a74738deb6d5e0f76887cb36901da08b68dca705
Project notes
Source-reported evidence
Author lists outstanding review questions. An AI review is not independent expert certification.
Resource revision: a74738deb6d5e0f76887cb36901da08b68dca705
Recorded authorship
Jude Gomila
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.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Gomila · proposed improved Newman bound
No upstream full text or code is republished by this record.
Source terms ↗