/sci/ - Science & Math

I've found that [math]2023 = (2^1 + 0^1 + 2^1 + 3^1)^1 \times (2^2 + 0^2 + 2^2 + 3^2)^2[/math], and that 2023 is the smallest integer for which this property holds nontrivially (more precise statement here: >>15091941).
Can it be proved (or refuted) that there is no other larger integer that also has this property?