Erdős Problem a Daythe open tracker
Our attempts / #390 / working report
ERDőS #390 · SKIPPED
Community database OPEN LEANas of 2026-08-28tags number theory, factorialsproblem page · erdosproblems.com/390

SKIP: Live page status is OPEN, but it lists one full claimed proof (Shouqiao Wang, submitted 2026-07-19), so the mandated no-duplication rule applies.

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