Erdős Problem a Daythe open tracker
Our attempts / #1020 / working report
ERDőS #1020 · SKIPPED
Community database FALSIFIABLEas of 2025-09-12tags graph theory, hypergraphsproblem page · erdosproblems.com/1020

SKIP: Live-page status is FALSIFIABLE; although its tracker says “0 claimed proofs” and “Currently working on this problem: None,” the discussion explicitly reports a claimed complete proof [Mi26] (with a later comment identifying a crucial error), so the mandatory claimed-proof stop gate applies.

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