LIVE · refreshes every 20 min
updated Jul 22, 19:21 UTC
110010
.art
(ificial intelligence)
AI products, research, and launches — clustered and ranked, not just re-blogged.
All stories
Research
Discussion
RSS
⌕
Search
/
SPONSOR
Your company here
— this slot is reserved and unsold. Reach a narrow, high-signal AI industry audience.
inquire →
← 110010
.art
all stories
Hacker News (AI)
·
1h ago
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
Grok
Related stories
Drawing the Mona Lisa with GPT-5.6, Claude, Gemini, and Grok
Hacker News (AI)
· 22h ago ·
source ↗
Claude was safest; Grok committed 180 crimes and went extinct within 4 days.
Hacker News (AI)
· 1h ago ·
source ↗
Mermaid to Unicode box art via Grok CLI; corroborating coverage notes Mermaid to ASCII art
Simon Willison
· 5d ago ·
source ↗
Grok Imagine regenerates Xkcd comics; corroborating coverage reports the same.
Hacker News (AI)
· 4d ago ·
source ↗
X.ai makes Grok Build open source; introduces Grok 4.5
xAI (via Google News)
· 6d ago ·
source ↗