Vela

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_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

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 ↗

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 0cb86c3907d1d59e1f39191b89c8a988f85ecbfbe755a6ac140b182e1dbdd4a3

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.