it's an (maybe the most) extreme example of something which is "gen AI" but not problematic
and as such a naive "rule" saying "no gen AI at all" is a pretty bad competition rule design
Reductio ad absurdum is a form of logic which takes an argument to its logical conclusion in order to demonstrate that it is absurd if it were to be taken on its face. Whether or not anyone applies it that way in reality is irrelevant.
so as an extrema example if you artists used that line smoothing algorithm you game isn't qualified anymore