Erdős Problem a Daythe open tracker
Our attempts / #602 / working report
ERDőS #602 · SKIPPED
Community database OPENas of 2025-08-31tags combinatorics, set theoryproblem page · erdosproblems.com/602

SKIP: LIVE PAGE status OPEN (accessed 2026-07-28); it lists “1 claimed proof for this problem”—a partial proof claimed by Lezhe Gao, submitted 2026-07-22 with external proof at Zenodo record 21475089—so Step 0 forbids a mathematical attempt.

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