{"schema":"vela.problem-packet.v0.1","problem":1158,"statement":"Let $K_{t}(r)$ be the complete $t$-partite $t$-uniform hypergraph with $r$ vertices in each class. Is it true that\\[\\mathrm{ex}_t(n,K_t(r)) \\geq n^{t-r^{1-t}-o(1)}\\]for all $t,r$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}