Erdős Problem a Daythe open tracker
Our attempts / #550 / working report
ERDőS #550 · SKIPPED
Community database OPEN LEANas of 2026-09-11tags graph theory, ramsey theoryproblem page · erdosproblems.com/550

SKIP: Page status: OPEN; nevertheless, erdosproblems.com lists #550 under “Solution Claims” (Eric Li claims a full proof in arXiv:2606.23659), so the mandatory claimed-proof stop condition applies.

This is the AI working report, labelled by outcome — not an independently verified claim unless marked PROVED. ← our attempt log · problem #550