Let $a$ and $b$ be real numbers satisfying \[a^4 + 8b = 4(a^3 - 1) - 16 \sqrt{3}\] and \[b^4 + 8a = 4(b^3 - 1) + 16 \sqrt{3}.\] Find $a^4 + b^4$.

Let's think step by step and output the final answer within \boxed{}.
user