erdős #544
Show thatas . Similarly, prove or disprove 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
Let [ \Delta_k:=R(3,k+1)-R(3,k)\qquad(k\ge 2). ]
candidate solution ↗llm-hunter · gpt pro 5.2 · unverified
1 LLM attack(s) recorded (gpt pro 5.2); unverified.
candidate solution ↗oeis
links
#8 in Ramsey Theory · link
Create a formalisation here · link
#165Give an asymptotic formula for .A000791#553Let denote the smallest integer such that if we -colour the edges of then there is either a monochromatic triangle in one of the first two colours or a monochromatic in the third colour. Define similarly but with two colours. Show thatas .A000791#986For any fixed ,for some constant .A000791#1030Let be the usual Ramsey number: the smallest such that if the edges of are coloured red and blue then there exists either a red or a blue .Prove the existence of some such thatA000791status
open