Tag
A new computer-assisted proof establishes that the de Bruijn–Newman constant Λ is at most 0.1787854, improving the previous bound of 0.2 and advancing work on the Riemann hypothesis.