erdős #562
Let denote the -uniform hypergraph Ramsey number: the minimal such that if we -colour all edges of the complete -uniform hypergraph on vertices then there must be some monochromatic copy of the complete -uniform hypergraph on vertices.Prove that, for ,where denotes the -fold iterated logarithm. That is, does grow likewhere the tower of exponentials has height ?
Worked, still open.
graph theory · open · possible · formalized (Lean) · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problemsevidence
unverified AI candidates (2)
gpt-erdos · GPT-5.2 Pro + Deep Research · unverified
Let me restate your claim in a convenient “tower” language, then I’ll prove the *known* matching upper bound and the *best known* lower bound, and finally explain why the desired two–sided statement is (as of now) a famous open problem already for $r=3$.
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗formal
AMS 5 · open (literature)
theorem erdos_562 : answer(sorry) ↔
∀ r ≥ 3, (fun n ↦ log^[r - 1] (hypergraphRamsey r n)) ~[atTop] (fun n ↦ (n : ℝ))formal-conjectures/562.lean ↗links
#38 in Ramsey Theory · link
status
open