Nuevo techo para Λ: la constante de de Bruijn–Newman es como máximo 0.1787854

A new ceiling for Λ: the de Bruijn–Newman constant

Jude Gomila presenta una demostración asistida por computadora que reduce el límite superior de la constante de de Bruijn–Newman, Λ, de 0.2 a 0.1787854, de manera incondicional. La constante Λ es un número real que determina la validez de la hipótesis de Riemann: la hipótesis se cumple si y solo si Λ ≤ 0. La prueba utiliza el criterio de Polymath 15 y certificados de intervalo verificados por máquina, y se detalla paso a paso, con enlaces al repositorio de auditoría y a la revisión independiente.