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

SKIP: Live page status OPEN with 0 claimed proofs, but “Currently working on this problem” lists Ritvik_Nayak (accessed 2026-07-31), so the mandatory no-collision rule requires stopping.

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