erdős #70
Let be the ordinal of the real numbers, be any countable ordinal, and . Is it true that ?
Worked, still open.
graph theory · open · 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
means: for every coloring (c:[\mathfrak c]^3\to{0,1}), either there is a set (H\subseteq\mathfrak c) of order type (\beta) with all triples from $H$ colored $0$, or there is a set (K\subseteq\mathfrak c) of size $n$ with all triples from $K$ colored $1$.
candidate solution ↗llm-hunter · gpt 5.2, gpt pro 5.2 · unverified
2 LLM attack(s) recorded (gpt 5.2, gpt pro 5.2); unverified.
candidate solution ↗links
Create a formalisation here · link
status
open