Factorization of the Eighth Fermat Number

We describe a Monte Carlo factorization algorithm which was used to factorize the Fermat number ${F_8} = {2^{256}} + 1$. Previously ${F_8}$ was known to be composite, but its factors were unknown.