I personally hope that a new GPL would not be anti-ml. It's a very cool and interesting technology imo. I think a new GPL should be explicit and say that code produced my a machine learning algorithm is trained on GPLv4 code should remain under GPLv4 or a compatible license.