Le problème du chariot, ChatGPT contre Grok