LIVE · refreshes every 20 min

updated Sep 5, 23:22 UTC

← 110010.art all stories

Hacker News (AI) ·Jul 22, 2026

Grok is a surprisingly good automated theorem prover

Read the original at news.ycombinator.com→

Coverage timeline

Jul 22, 17:28 UTC Hacker News (AI) lead source Grok is a surprisingly good automated theorem prover

Related stories

ChatGPT, Grok, and Claude experience simultaneous outages; OpenAI, xAI, and Anthropic report elevated errors across products.

The Verge AI · 2d ago · source ↗

Grok Models outage persists; users report service disruption

Hacker News (AI) · 2d ago · source ↗

X.ai introduces Grok Bot

xAI (via Google News) · 25d ago · source ↗

Drawing the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok

Hacker News (AI) · Jul 21, 2026 · source ↗

Designing Grok Bot for a world of persistent agents

xAI (via Google News) · 2d ago · source ↗