Colombian Judge used ChatGPT's help in a court decision: "Judge Juan Manuel Padilla Garcia [...] said he used the AI tool to pose legal questions about the case and included its responses in his decision"