LLMs Suck at Deep Thinking Part 3 - Trying to Prove It (fixed) — LessWrong