LIVE · refreshes every 20 min
updated Sep 21, 18:03 UTC
110010
.art
(ificial intelligence)
AI products, research, and launches — clustered and ranked, not just re-blogged.
All stories
Research
Discussion
RSS
⌕
Search
/
☾
← 110010
.art
all stories
Hacker News (AI)
·
1h ago
AI proves Medvedev logic is undecidable
Read the original at arxiv.org
→
Coverage timeline
Sep 21, 17:01 UTC
Hacker News (AI)
lead source
AI proves Medvedev logic is undecidable