Did xAI lie about Grok 3's benchmarks? | Hacker News Reader