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

SKIP: The live page is OPEN but lists 1 claimed proof—a full proof claimed by Eric Li (using GPT-5.5 Pro), submitted 2026-07-17—and lists “Currently working on this problem: None”; the claimed-proof stop condition applies.

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