Claims

../

1940_01_01_ko: Ko found infinitely many integer solutions of x^x y^y = z^z with x, y and z greater than one, so the answer is yes; the site's curator labels the problem proved, and a Lean proof of the family is on record.

---