{"id":"arxiv/2610.10599","url":"https://arxiv.org/abs/2610.10599","tags":["cs.DM","math.PR"],"score":0,"title":"An upper bound of 4.268 for the random 3-SAT satisfiability threshold","domain":"cs.DM","source":"arxiv","authors":["Fedor Vorobyev"],"reviews":0,"subject":"cs.DM","summary":"We prove that a random 3-SAT formula with $n$ variables and $\\lfloor 4.268n\\rfloor$ clauses is unsatisfiable with high probability. The satisfiability threshold has attracted considerable attention: successive upper bounds reached 4.4898 in the work of Díaz, Kirousis, Mitsche, and Pérez-Giménez, while the cavity method predicts a value near 4.267. Our bound brings the rigorous upper estimate close to this prediction. The proof builds on earlier interpolation methods, including the energetic approach of Achlioptas and Menchaca-Méndez. We study the smallest number of clauses that any…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{}}