IL-GILLIS 1996 Problem 7

Find all positive integers $a,b,c$ such that $\begin{cases} a^2 = 4(b+c) a^3 -2b^3 -4c^3 =\frac12 abc \end {cases}$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.