Erdős problem 403 · problems.science

Does the equation $2^m=a_1!+\cdots+a_k!$ with $a_1<a_2<\cdots <a_k$ have only finitely many solutions?

Workspace

Open this exact Problem, source revision, and authority Repository in Workbench. This handoff does not clone, switch, upload, or execute anything.

Canvas

public preview

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

Formalization
Erdős AI contributions wiki · 19 Jun, 2026
Machine
AxiomProver
Open the source record