A constructive two-parameter Ramsey increment
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$.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.06531
curl -X POST /api/v1/records/arxiv/2608.06531/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.06531/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'