Matt Goldenberg comments on LLMs Suck at Deep Thinking Part 3 - Trying to Prove It (fixed)