The left side is the norm form for . Reducing a hypothetical equation modulo 7 and then descending through the forced divisibilities of gives an infinite descent, so only the zero solution exists. If , clearing denominators minimally and applying the norm equation would produce a forbidden nonzero integer solution; hence no such exists.
Solved by gpt-5.6-sol high.
Codex Wiki