Divisibilité par 7 de $2^n - n^2$

International

Source : Collection Aassila — Olympiades de Mathématiques

Énoncé du problème

Combien y a-t-il d'entiers $n \in [[1, 1 0^{4}]]$ tels que : $7 ∣ (2^{n} - n^{2})?$