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

SKIP: The live page status is OPEN with 0 claimed proofs, but “Currently working on this problem” lists Svyable and satsun93 (accessed 2026-07-28); per the collision-avoidance gate, no mathematical attempt was made.

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