Hacker News new | ask | show | jobs
by purplesyringa 331 days ago
IME, LLMs are completely incapable of reasoning about anything remotely difficult. All you'll get are proofs by assertion, not anything rigid you can trust.