Hacker News new | ask | show | jobs
user: yaccb3
created: 2026-06-18
karma: 0

submissions:

0 points | 0 comments
Does a recent proof on open induction formalize the logical limits of LLMs?
1 points | 0 comments