HN
Hacker News
Top
New
Best
Ask
Show
Jobs
yaccb3
0 karma · joined June 18, 2026
submissions
comments
Does a recent proof on open induction formalize the logical limits of LLMs?
arxiv.org
·
1 pts
·
yaccb3
·
0