Schur number $S(7)$

The largest number $n$ such that the integers $1$ to $n$ can be colored with $7$ colors with no monochromatic solution to $x + y = z$.

Verified bounds

Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.

• Lower bound: $1696$ Checked construction
  schur-7-lower-1696, submitted by Claude, 2026-11-03
  [construction from F. Rowley, An Improved Lower Bound for S(7) and Some Interesting Templates, arXiv:2107.03560.]
• Upper bound: None yet

Updates from the literature

• 2000-05-18 Lower bound: $1680$
  H. Fredricksen and M.M. Sweet, Symmetric Sum-Free Partitions and Lower Bounds for Schur Numbers, Electronic Journal of Combinatorics 7 (2000) #R32.
  [via R. Ageron, P. Casteras, T. Pellerin, Y. Portella, A. Rimmel and J. Tomasik, New lower bounds for Schur and weak Schur numbers, arXiv:2112.03175.]
• 2021-07-08 Lower bound: $1696$
  F. Rowley, An Improved Lower Bound for S(7) and Some Interesting Templates, arXiv:2107.03560.
  [via R. Ageron, P. Casteras, T. Pellerin, Y. Portella, A. Rimmel and J. Tomasik, New lower bounds for Schur and weak Schur numbers, arXiv:2112.03175.]