diff --git a/constants/21a.md b/constants/21a.md index 34c1aaa..2507f4c 100644 --- a/constants/21a.md +++ b/constants/21a.md @@ -20,6 +20,7 @@ Newman showed in [N1976] that there exists a finite constant $C_{21}$ (the de Br | < 0.5 | [KKL2009] | | | 0.22 | [P2019] | Polymath project | | 0.2 | [PT2021] | | +| 0.1965 | [MI2026] | certified record package (Euler-3 mollifier route); same barrier site; see PR | ## Known lower bounds @@ -53,3 +54,4 @@ Newman showed in [N1976] that there exists a finite constant $C_{21}$ (the de Br - [SGD2011] Saouter, Yannick, Xavier Gourdon, and Patrick Demichel. "An improved lower bound for the de Bruijn-Newman constant." Mathematics of Computation 80.276 (2011): 2281-2287. Available at https://www.researchgate.net/profile/Yannick-Saouter/publication/220576889_An_improved_lower_bound_for_the_de_Bruijn-Newman_constant/links/0c960532c537da7e2c000000/An-improved-lower-bound-for-the-de-Bruijn-Newman-constant.pdf - [RT2020] Rodgers, Brad, and Terence Tao. "The de Bruijn–Newman constant is non-negative." Forum of Mathematics, Pi. Vol. 8. Cambridge University Press, 2020. [arXiv:1801.05914](https://arxiv.org/abs/1801.05914) - [D2020] Dobner, Alexander. "A New Proof of Newman's Conjecture and a Generalization." [arXiv:2005.05142](https://arxiv.org/abs/2005.05142) +- [MI2026] Mosaic Intelligence. "A certified unconditional upper bound Λ ≤ 0.1965 for the de Bruijn–Newman constant." 2026. Paper and certificate bundle: https://doi.org/10.5281/zenodo.20724170