El matemático Jude Gomila presenta un resultado computer-assisted que reduce el techo conocido de la constante de de Bruijn–Newman Λ desde 0,2 hasta 0,1787854, un número racional exacto igual a 129/800 + 87677/5.000.000, obtenido a partir de más de 3,14 millones de certificados intervalares verificados por máquina. La constante Λ codifica la hipótesis de Riemann: esta es equivalente a Λ ≤ 0, y desde 2018 Rodgers y Tao demostraron Λ ≥ 0, por lo que la constante queda confinada al intervalo [0, techo actual]. Cada mejora del techo es progreso cuantificable hacia la demostración de RH. El método se apoya en la teoría efectiva del flujo de calor sobre la función xi de Riemann desarrollada por Terence Tao en el proyecto Polymath 15 (2018-2019), cuyo Teorema 1.2 convierte tres afirmaciones finitas y verificables en una cota superior de Λ. La cadena de mejoras va desde el 1/2 de de Bruijn (1950) hasta 0,22 de Polymath 15, pasando por 0,2 tras incorporar la verificación de altura récord de Platt y Trudgian (2020), y ahora 0,1787854. Gomila ofrece un repositorio público de auditoría y registros de revisión independiente. La hipótesis de Riemann, abierta desde 1859, es uno de los problemas del milenio del Clay y figura entre los retos de Hilbert; gobiernos y desconocimiento general del error en el conteo de primos la convierten en una de las conjeturas más influyentes de la matemática.
