Para $k \ge 2$ tenemos:
\begin{align}
F(2k) &= F(k) \\
F(2k+1) &= F(k)
\end{align}
Esto significa
$$
F(n) = F(\lfloor n / 2 \rfloor) \quad (*)
$$
para $n \ge 4$.
Si estamos usando números de base 2 esto significa que tenemos una palabra de longitud $m$, con al menos tres bits
$$
n = (1 b_{m-1} \dotsb b_2 b_1)_2 \quad (b_i \in \{0, 1\})
$$
y $(*)$ significa que podemos cambiar a la derecha de la palabra (colocar la broca en la final) y mantener el valor de $F$:
$$
F((1 b_{m-1} \dotsb b_2 b_1)_2)
= F((1 b_{m-1} \dotsb b_2)_2) \quad (m \ge 3)
$$
Repetimos hasta que tenemos menos de tres bits.
En otras palabras
\begin{align}
F(n)
&= F((1 b_{m-1})_2) \\
&=
\begin{cases}
F(3), & \text{for } b_{m-1} = 1 \\
F(2), & \text{for } b_{m-1} = 0
\end{casos}
\\
&=
\begin{cases}
-1, & \text{for } b_{m-1} = 1 \\
+1, & \text{for } b_{m-1} = 0
\end{casos}
\end{align}
para $n\ge 4$.
Así
$$
\sum_{k=4}^{63} F(k) =
F(\underbrace{(100)_2}dimm_4) + F((101)_2) + F((110)_2) + F((111)_2) + \\
F(\underbrace{(1000)_2}_8 + \dotsb + F((1111)_2) + \\
F(\underbrace{(10000)_2}_{16} + \dotsb + F((11111)_2) + \\
F(\underbrace{(100000)_2}_{32} + \dotsb + F((111111)_2) \\
$$
Vemos que podemos agrupar las palabras por medio de longitud, y que tenemos tantas palabras con el prefijo $10$ como con el prefijo $11$ en cada grupo, de modo que su $F$ valores de suma cero.
Así, el tratado de la suma se reduce a
$$
\sum_{k=1}^{63} = F(1) + F(2) + F(3) = 1 + 1 + (-1) = 1
$$