{"schema":"vela.problem-packet.v0.1","problem":591,"statement":"Let $\\alpha$ be the infinite ordinal $\\omega^{\\omega^2}$. Is it true that in any red/blue colouring of the edges of $K_\\alpha$ there is either a red $K_\\alpha$ or a blue $K_3$?","status":"solved","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)"}