All besides the point, point being why would anyone use SHA-512 then if SHA-256 is impossible to break in this time and space?
There are algorithms "stronger" than sha-256, not because sha-256 is brute-forceable, but because there is may be an undiscovered weakness.