From ceeb34a680a9abd18b6a7ddefbd531ce64fd2cdd Mon Sep 17 00:00:00 2001
From: Mosaic Intelligence <463464q435q43@users.noreply.github.com>
Date: Wed, 17 Jun 2026 01:14:01 +0200
Subject: [PATCH] =?UTF-8?q?Improve=20upper=20bound=20for=20the=20de=20Brui?=
 =?UTF-8?q?jn=E2=80=93Newman=20constant=20to=200.1965=20(certified=20recor?=
 =?UTF-8?q?d=20package)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 constants/21a.md | 2 ++
 1 file changed, 2 insertions(+)

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