Проверка способности LLM решать математические задачи

[nnosipov]

mihaild
Будьте добры, скормите Gemini уравнение $x(y^3-2x^3)=y^2+y$ (доказать, что $(x,y)=(1,2)$ является единственным решением в натуральных числах). Здесь нет халявного пути решения, поэтому интересно, сможет ли Gemini найти запланированный способ решения.