A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Hindman's finite sums and products conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:counting, coloring Levels:1
Category:Combinatorics Lean version:not yet
Rate this game! 4.6 out of 5 (4,324 votes)

>>> How to Play <<<
Hindman’s finite sums and products conjecture. Proves Hindman's finite sums and products conjecture: every finite coloring of the positive integers contains sets of any prescribed finite size whose nonempty subset sums and nonempty subset products all have one common color.

>>> Level Select <<<
released 2026-09-23  |  2 theorems · 20 lemmas · 34 proofs · 35,053 words  |  PLAY LEVEL 1 »  (pdf)
We prove Hindman's finite sums and products conjecture: for every finite coloring of the positive integers and every positive integer k, there is a k-element set whose nonempty subset sums and nonempty subset products all have the same color.

More Combinatorics Games!
The sharp constant in random triangle removalExact cycle–clique Ramsey numbersPolynomial removal fails for ordered binary matricesA power improvement in the Heilbronn triangle problem
A counterexample to the Gopalan–Servedio conjectureA counterexample to periodic tiling in dimension three HOT!Borsuk's conjecture fails in dimension nine HOT!Counterexamples to the Hadwiger and Colin de Verdière conjectures

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games