Does a recent proof on open induction formalize the logical limits of LLMs?