{"id":"arxiv/2610.36648","url":"https://arxiv.org/abs/2610.36648","tags":["math.CO"],"score":0,"title":"An upper bound of 61 for the Ramsey number $R(3,3,3,3)$","domain":"math.CO","source":"arxiv","authors":["Milos Tatarevic"],"reviews":0,"subject":"math.CO","summary":"We improve the upper bound on the classical Ramsey number $R(3,3,3,3)$ from 62 to 61. The proof is based on a global incidence count, classifications of small neighborhoods and exhaustive SAT computations. We formalize the mathematical reductions in Lean and refute every resulting formula with two SAT solvers.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}