6 ms·Does a recent proof on open induction formalize the logical limits of LLMs?1 points by yaccb3 3mo agoyaccb3 3mo ago[flagged]