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

SKIP: Live page status OPEN, but it lists 1 claimed proof (a full proof claimed by Rob Sneiderman, submitted 2026-07-21) and identifies lof310 as currently working on the problem.

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