Hackernews posts about Grok 4
- Grok 4.6 (x.ai)
- Grok 4.6 scores 61 on the Artificial Analysis Intelligence Index (artificialanalysis.ai)
- SpaceXAI: Grok 4.6 (openrouter.ai)
- Introducing Grok 4.6 (cursor.com)
- Grok 4.6 (High) Intelligence, Performance and Price Analysis (artificialanalysis.ai)
- Grok 4.6 (twitter.com)
- SpaceXAI debuts Grok 4.6, overtaking Kimi K3's and matching GPT-5.6 Sol (tracking.tldrnewsletter.com)
- Grok 4.6 /medium outperforms /high effort on DeepSWE (deepswe.datacurve.ai)
- Solving Hack the Box Challenges with Grok 4.6 (theaq.blog)
- "the mandate" a short fiction by Grok 4.6 on technological singularity (www.echohive.ai)
- Grok 4.5 is now available in GitHub Copilot (github.blog)
- Video Demo of Grok 4.5 Expert's Coding Ability (Web Interface) (www.youtube.com)
- Show HN: AI Security Leaderboard – comparing cyber and CBRN safeguards (leaderboard.far.ai)
- Musk assembled a full-stack AI coding play while everyone watched benchmarks (pub.towardsai.net)
- Show HN: Alyph, a manual transmission for LLM context (www.alyph.ai)
- AI "Proves" Collatz Conjecture with Lean 4 Bug (twitter.com)
- Lean 4 Bug Found Incidentally by AI, "Proving" Collatz (twitter.com)
- Grok 4.5 (x.ai)
- Grok 4 Launch [video] (twitter.com)
- Grok 4.3 (docs.x.ai)
- Grok 4 (simonwillison.net)
- Grok 4 Fast now has 2M context window (docs.x.ai)
- We made Grok 4.5, GPT-5.5, and Claude build the same apps (www.tryai.dev)
- GPT-5.6, Grok 4.5, Claude, and Muse Spark build the same 4 apps (www.tryai.dev)
- Grok 4.1 (x.ai)
- Grok 4 Fast (x.ai)
- Grok 4 Heavy Protects it's System prompt (simonwillison.net)
- o3 and Grok 4 accidentally vindicate neurosymbolic AI (garymarcus.substack.com)
- Grok 4 seems to consult Elon Musk to answer controversial questions (techcrunch.com)
- Grok 4.20 Beta (grok.com)
- Grok 4.5 (cursor.com)
- Grok 4 is now free for all users worldwide (twitter.com)
- O3 and Grok 4 Accidentally Vindicated Neurosymbolic AI (garymarcus.substack.com)
- Grok 4 (Thinking) achieves new SOTA on ARC-AGI-2 (X) (twitter.com)
- Everything You Need to Know About Grok 4 (forgecode.dev)
- xAI has Released Grok 4.3 (beta) (twitter.com)
- Grok 4 is now the leading AI model ( ArtificialAnlys) (twitter.com)
- Grok 4.1 [pdf] (data.x.ai)
- Grok 4.20 beats all other AI models in Alpha Arena test (www.sammyfans.com)
- Grok 4.5 and GPT5.6 beat Anthropic for finding security vulnerabilities in PRs (docs.damsecure.ai)
- XAI Grok 4 Claims Top AI Model Crown in Independent Testing (gearmusk.com)