Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let be a family of countably infinite sets such that for all . Find the smallest cardinal such that can always be coloured with at most colours so that no is monochromatic.
Source: erdosproblems.com/603
An accepted solution exists. Settled in another form, for example when its parts resolve differently or the question is open-ended.
Solved. The site's commentary credits GPT-5.4 Pro, prompted by Chojecki, with showing that no number of colors suffices for every such family. The frontmatter standing is derived from the accepted claim page Chojecki's note, accepted on the site's curator's credit. The answer determines that the smallest cardinal asked for does not exist; under Erdős's own wording, Problem 12 of Erdős 1987 (printed p. 227), which asks whether any bound exists, it is a negative answer. A note by gavinsherry (a GitHub gist of 2026-04-27, linked from thread post 5935 and prepared with AI assistance) restates the accepted construction and adds, for every finite , a family of countably infinite subsets of a countable ground set, any two meeting in or points, that every -coloring leaves with a monochromatic member, built from a nonprincipal ultrafilter and the Ramsey number . The addendum gets no claim page: it is a strengthened variant that adds nothing to the site's question beyond Theorem 1 of the accepted note, whose family for finite already lives on the countable set ; thread post 6006 gave a simpler ultrafilter example, which the note's author accepted in post 6016.