Il problema del carrello, ChatGPT contro Grok