Nemotron-IMO-Bench 2026 N40

Prove that $1!+2!+...+n!$ has a prime factor greater than $10^{2012}$ for some positive integer $n$ .

Dataset text Nemotron-IMO-Bench. Open licence.

Solutions

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