Hacker News new | ask | show | jobs
by pocksuppet 4 days ago
Are you talking about LLMs or symbolic manipulation systems? The latter are certainly very logical, the former... not so much.
1 comments
RA_Fisher 1 day ago
An LLM disproved a famous 80-year-old conjecture.
link