{"id":"arxiv/2608.06531","url":"https://arxiv.org/abs/2608.06531","tags":["math.CO"],"score":0,"title":"A constructive two-parameter Ramsey increment","domain":"math.CO","source":"arxiv","authors":["Milos Tatarevic"],"reviews":0,"subject":"math.CO","summary":"We prove the inequality $R(k+1,s+1) \\ge R(k,s) + 2k + 2s$ for classical Ramsey numbers, valid for all $5 \\le k \\le s$, and formalize the proof in Lean 4. As a consequence, we obtain the new lower bound $R(12,12) \\ge 1641$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-06","reactions":{}}