A judge really used ChatGPT to make a court ruling