Erdős Problem a Daythe open tracker
Our attempts / #1002 / working report
ERDőS #1002 · SKIPPED
Community database OPENas of 2025-09-07tags analysis, diophantine approximationproblem page · erdosproblems.com/1002

SKIP: The live page is OPEN (accessed 2026-07-31) and shows no current worker, but it lists 2 full proof claims—by Shouqiao Wang (submitted 2026-07-21) and Sangyoon Kwon (submitted 2026-07-23)—so the mandatory claimed-proof collision rule forbids an attempt.

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