In GPL cases for software, making the offending proprietary code publicly available under the GPL has been the usu outcome.

But whether you can actually be compelled to do that isn't well tested in court. Challenging that the GPL is enforcable in that way leads you down the path that you had no valid license at all, and for past GPL offenders that would have been the worse outcome. AI companies could change that