LLM 真的在推理吗——Chain-of-Thought 的能力、计算、轨迹与证明承重测试