Jude Gomila 宣布，通过人机协作与计算机辅助证明，将 de Bruijn–Newman 常数 Λ 的上界从 0.2 降至 0.1787854，其精确有理值为 129/800 加上 87677/5,000,000 。此前 0.2 的上界由 Platt 和 Trudgian 在 2020 年的记录高度推动 。作…