A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The second Kahn–Kalai conjecture
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Hamilton's Revenge <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:counting, coloring Levels:1
Category:Combinatorics Lean version:YES! ✔
Rate this game! 4.7 out of 5 (5,916 votes)

>>> How to Play <<<
The second Kahn–Kalai conjecture with an edge-count bound. Proves the second Kahn–Kalai conjecture: for every finite simple graph H with h ≥ 1 edges and at most n vertices, its appearance threshold in $G(n,p)$ is at most $C p_{\mathrm E}(n,H)(1+\log_2 h)$, with universal C. Here $p_{\mathrm E}$ is the least density at which every subgraph of H has expected copy count at least 1/2.

>>> Level Select <<<
released 2026-09-24  |  2 theorems · 3 lemmas · 5 proofs · 4,822 words  |  PLAY LEVEL 1 »  (pdf)
We prove the second Kahn–Kalai conjecture. For every finite simple graph H with h ≥ 1 edges and at most n vertices, the threshold for $G(n,p)$ to contain an ordinary copy of H is at most $C p_{\mathrm E}(n,H)(1+\log_2 h)$, where C is universal. Here $p_{\mathrm E}(n,H)$ is the least density at which every subgraph of H has expected copy count at least one half.

More Combinatorics Games!
Counterexamples to infinite matroid intersection and packing/coveringThe Friedgut–Kalai graph and hypergraph threshold conjecturesSnaky in 21 Maker moves PLAYABLE!The sharp constant in random triangle removal
Exact cycle–clique Ramsey numbersPolynomial removal fails for ordered binary matricesA power improvement in the Heilbronn triangle problemA counterexample to the Gopalan–Servedio conjecture

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