Comment by YeGoblynQueenne

LLMs don't search trees. They generate plausible proofs and a human has to check it's true. Repeat until.