Correct. All of those “models” are simply violating copyright - the post alone demonstrates that the model itself contains that code, so the entire model is also covered by that license.

I would put money on it also containing gpl3 code, which I suspect means that the model itself is probably also required to be public under the terms of gpl3