I'm concerning myself with factoring semi-primes and believe that if given a large semi-prime ($N$) one finds a non-trivial sum of squares representation:
$$ x^2 + y^2 = N$$
Then one can efficiently retrieve a factorization of $N$. My intuition for this belief is that I think the "factoring" problem over the gaussian integers is difficult and note that such a representation can be in linear time converted into a factorization $(x + yi) ( x- yi)$ when considering gaussian integers.
But it's not clear to me how to leverage this information for regular integers.
More Notes:
So I realized after @Jack D'Aruzio's comment that this information could be exploited by computing $i$ mod $N$
That is finding some constant $c$ such that $c^2 = -1 \mod N$. Then we have that
$$ (x + cy)(x - cy) \equiv 0 \mod N$$
And therefore at least one of $(x + cy)$ and $(x - cy)$ must be a zero divisor and can be used to recover factors of (assuming we don't have the trivial, non-trivial pair) $N$.
Of course there is no guarantee that we can find such a $c$, and even if its guaranteed to exist such a $c$ might be computationally as expensive to find as factoring itself