Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let denote the minimal such that if the edges of are -coloured then there is a monochromatic copy of . Show that
for any .
Source: erdosproblems.com/554
No claim settles this problem.
Open, in the site's label. No source proves the limit for every . For the limit is , by an elementary comparison of two accepted bounds: the refereed upper bound of Axenovich, Cames van Batenburg, Janzer, Michel and Rundström [ACJMR25] and the lower bound of the 2026 OpenAI report, which the claim page OpenAI 2026 of Problem 183 records as accepted, reviewed by the site's curator and through Rob Morris's exposition hosted on the site, from an unrefereed report. The comparison is claimed, conditionally on those two bounds, by the research report of 1 August 2026 linked from the discussion thread, recorded on the partial claim page mysticflounder 2026, and this page's own comparison below reproduces it. For and the same bounds are inconclusive, and the search, whose scope the Current assessment records, found no proof, disproof or proof claim for them; the site says the problem is open even for . This is a bounded negative finding on the two remaining cases, not a certificate of openness. The OpenAI report itself has no claim page here, since its theorem asserts nothing about this problem's statement.