Researcher claims new upper bound for de Bruijn–Newman constant
Jude Gomila proposes a lower ceiling of 0.1787854 for the constant, a key metric in the study of the Riemann Hypothesis.
Independent researcher Jude Gomila has published a computer-assisted proof claiming to lower the upper bound of the de Bruijn–Newman constant (Λ) to 0.1787854. The result represents a tightening of the previously known ceiling of 0.2, which was established by mathematicians Platt and Trudgian.
Developed through a collaboration between human and AI, the proof is presented as an unconditional result. According to Gomila, the work contains "no unproved conjecture anywhere in the chain," relying instead on the Polymath 15 criterion and the Platt–Trudgian verified height. To facilitate verification, Gomila has hosted the work on a personal website and a public audit repository on GitHub.
The Path to the Riemann Hypothesis
The de Bruijn–Newman constant is a real number fundamentally linked to the zeros of the Riemann zeta function. In the field of number theory, the constant serves as a critical proxy for one of the most famous unsolved problems in mathematics: the Riemann Hypothesis. Specifically, the Riemann Hypothesis is mathematically equivalent to the statement that Λ ≤ 0.
While the current claim of 0.1787854 does not prove the hypothesis, the history of the constant has been a gradual process of lowering the upper bound. Each reduction brings the mathematical community closer to understanding whether the constant can indeed be zero or less, which would confirm the distribution of prime numbers as predicted by Riemann.
Implications for Mathematical Proof
Beyond the specific numerical value, the project highlights a shift in how complex mathematical proofs are constructed and shared. By utilizing AI to assist in the proof's development and providing a public repository for auditing, Gomila is demonstrating a model for formal, computer-assisted verification that bypasses traditional closed-door drafting.
Tightening the bound on Λ provides deeper insight into the behavior of the zeta function's zeros. It suggests that the "gap" between current knowledge and the Riemann Hypothesis is shrinking, even if the final leap to zero remains elusive.
Verification and Next Steps
The proof has not yet undergone formal peer review. Because the result relies on computer-assisted certificates, its validity depends on an independent audit of the provided data and logic within the GitHub repository. The mathematical community must now determine if the methodology holds up to scrutiny and if the new bound is indeed correct.