Does a recent proof on open induction formalize the logical limits of LLMs?arxiv.org1 point·yaccb3··0 commentsOpen articleSaveView on HN