OMCPLP 2014 Problem 5

Find all quadruples of positive integers $(k,a,b,c)$ such that $2^k=a!+b!+c!$ and $a\geq b\geq c$ .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.