Hacker News new | ask | show | jobs
Does a recent proof on open induction formalize the logical limits of LLMs? (arxiv.org)
1 points by yaccb3 3 days ago