USAJMO 2023 Problem 1

Find all triples of positive integers $(x,y,z)$ that satisfy the equation $2(x+y+z+2xyz)^2=(2xy+2yz+2zx+1)^2+2023.$

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.