That "if" is doing a lot of legwork here. Most notably, it's concealing an implication that the LLM may be reasoning in this example, and not merely fitting tok

That "if" is doing a lot of legwork here. Most notably, it's concealing an implication that the LLM may be reasoning in this example, and not merely fitting tokens from its input into a statistical reconstruction of the most basic and thus likely most commonly encountered proof in elementary symbolic logic. That said, you're not wrong that this seems "good enough" to be wildly disruptive. Part of that disruption, which is already ongoing, is the development of a whole new class of exploits. I expect once companies start firing phone support representatives in favor of LLMs, and similar, this process will accelerate in fascinating ways.