The board / set theory / #1170
Erdős Problem #1170
OPENdatabase updated 2026-01-23
No proof or disproof is known, and it isn't known whether a finite computation could settle it.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
Prizenone
Topicsset theory, ramsey theory
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/1170
Attempts
submit one →Read our working report →
The authoritative live page (accessed 2026-07-29) has status OPEN, 0 claimed proofs, and lists Shadow under “Currently working on this problem”; stopped to avoid colliding with a current worker.
SKIPPED