Гипотеза Римана стала ближе: константа де Брёйна–Ньюмана впервые опущена ниже 0.1788
A new ceiling for Λ: the de Bruijn–Newman constant is at most 0.1787854
Джуд Гомила представил компьютерное доказательство новой верхней границы для константы де Брёйна–Ньюмана Λ, которая напрямую связана с гипотезой Римана. Используя критерий Polymath 15 и интервальные сертификаты, он безусловно понизил оценку с 0.2 до 0.1787854. В статье подробно разбираются три проверки, лежащие в основе доказательства, и объясняется, почему этот метод не может достичь нуля.
Гипотеза Римана эквивалентна утверждению Λ ≤ 0; это эквивалентность, которая сама по себе является теоремой.